Observation. rational cardinalities [007S] Other than sets, proper Groupoids may admit non-integer cardinalities. The groupoid consisting of a single point with 3 automorphisms has cardinality .