Los teoremas de cardinalidad son aquellos teoremas que establecen relaciones referentes a cantidad de elementos o subgrupos con una cierta propiedad.