theorem Th19: :: WAYBEL33:19

for L being non empty reflexive RelStr holds sigma L c= xi L by WAYBEL28:28;