for L being non empty reflexive RelStr
for A being Subset of L st A in sigma L holds
A in xi L