for a, b being Ordinal holds
( a c= b iff b nin a )