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