Un '''conjunto''' es un popo,es una agrupación, clase o colección de objetos denominados ''elementos del conjunto'' (aunque cualquier definición dada esconde implícitamente paradojas lógicas o contradicciones).<ref>No existe ninguna definición enteramente satisfactoria (excepto el subterfugio de definir un conjunto como cualquier objeto que verifique la [[axiomas de Zermelo-Fraenkel|axiomática de Zermelo-Fraenkel]])</ref> Por objeto entenderemos no sólo entes físicos, como mesas, sillas, etc., sino también entes abstractos, como son números, letras, etc. La ''relación de pertenencia'' entre los elementos y los conjuntos siempre es perfectamente discernible, en otras palabras, si un objeto pertenece a un conjunto o no, siempre puede calificarse como verdadero o falso .