En general, los subgrupos "A" y "B" de un grupo son conmensurables cuando su intersección tiene índice finito en cada uno de ellos.