for a, b being Ordinal
for x being set holds
( x in a \ b iff ( b c= x & x in a ) )