cardinal, cardinality, kern