La teoría de conxuntos más elemental ye una de les ferramientes básiques del llinguaxe matemáticu. Daos unos elementos, unos oxetos matemáticos como númberos o polígonos por casu, puede imaxinase una coleición determinada destos oxetos, un conxuntu. Cada unu destos elementos pertenecen al conxuntu, y esta noción de pertenencia ye la rellación relativa a conxuntos más básica. Los mesmos conxuntos pueden imaxinase de la mesma como elementos dotros conxuntos. La pertenencia dun elementu  a un conxuntu  indícase como .