theorem Th13: :: WAYBEL21:13

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