theorem Th59: :: YELLOW_0:59

for L being RelStr
for S being SubRelStr of L
for a, b being Element of L
for x, y being Element of S st x = a & y = b & x <= y holds
a <= b