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