for L being reflexive RelStr holds id the carrier of L c= the InternalRel of L