In mathematics, a partition cardinal is either: