for a, b being Real holds
( a <> b iff Cl ].a,b.[ = [.a,b.] )