for FT being non empty filled RelStr
for A being Subset of FT holds A c= A ^b