cofinality (cofinal + -ity): The least of the cardinalities of the cofinal subsets of a partially ordered set