(mathematics, of an internal binary mapping on a countably infinite set) Having the property that for some cardinality, all subsets of that cardinality or smaller map to another element of the subset.