for A being Ordinal holds A -^ A = {}