for a, b being Element of [.0,1.] st max (a,b) <> 1 holds
( a <> 1 & b <> 1 )