for X being set st 2 c= card X holds
for x being object ex y being object st
( y in X & x <> y )