for A being Ordinal holds On {A} = {A}