theorem Th6: :: YELLOW_0:6

for L being RelStr
for a being Element of L holds
( {} is_<=_than a & {} is_>=_than a ) ;