« Groupoid Cardinality
|S//G| = |S|/|G|
[007V]