In matematica, una collezione di elementi rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque elemento fa parte o no del raggruppamento.
Eine Menge ist ein Verbund, eine Zusammenfassung von einzelnen Elementen.