for A being Ordinal holds
( A -^ {} = A & {} -^ A = {} )