for A being Ordinal
for M being Cardinal st card A in M holds
A in M