Conceito em teoria de categorias.
Qualquer um dos objetos distintos que compõe um conjunto em teoria de conjuntos.
Princípios.