Content deleted Content added
Line 8:
As a particular case of the previous example, given a [[direct product of groups]] <math>G = H \times K</math>, then ''H'' is a transversal for the cosets of ''K''.
In general, since any [[equivalence relation]] on an arbitrary set gives rise to a partition, picking any representative
[[Hall's marriage theorem]] gives necessary and sufficient conditions for a finite collection of not necessarily distinct, but non-empty sets to have a transversal.
| |||