for R being non empty RelStr
for w, u being Element of R holds
( [w,u] in the InternalRel of R iff u in (tau R) . w )