theorem Th28: :: WAYBEL28:28

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