Sea X un conjunto no vacío, N un conjunto finito de objetos, sea P...,P r diferentes propiedades que tienen ciertos elemetos del conjunto X.