Si H es un subgrupo de G entonces un subconjunto T contenido en G diremos que es transversal a izquierdas de H en G si T contiene uno y solo un elemento de cada coclase a izquierdas de H en G
Se puede hacer un mismo razonamiento para decir que T sea transversal a derechas y también transversal directamente.
Si T es un conjunto transversal a izquierdas cada $t_i \circ H $ es una coclase. y la unión disjunta de todas estas coclases generan G. $$ |T| = | G: H | $$
