show/hide this revision's text 1 [made Community Wiki]

A natural generalization of cardinality of sets is groupoid cardinality, which is a real number.