for A, B being Ordinal st card A in card B holds
A in B