for T being non empty RelStr
for A being Subset of T holds A ^d = ((A `) ^f) `