for T being non empty RelStr holds T is full infs-inheriting sups-inheriting SubRelStr of T