reserve x for set;

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