En un conjunto finito "F" puede definirse una magnitud sencilla asociada a la "cantidad de objetos" de un subconjunto.