for FT being non empty RelStr
for A, B being Subset of FT st A c= B holds
A ^i c= B ^i