theorem Th3: :: WAYBEL13:3

for L being RelStr
for S being SubRelStr of L
for X being Subset of S holds X is Subset of L