// Iedere verzameling heeft als deelverzamelingen zichzelf (oneigenlijke deelverzameling) en de lege verzameling. Een deelverzameling van Y die niet gelijk is aan Y wordt een echte deelverzameling genoemd.

- Alle elementen uit de gegeven verzameling komen voor in de gevraagde verzameling.

- Het is niet zo dat de gegeven verzameling 1 element heeft dat niet voorkomt in de gevraagde verzameling.

SELECT DISTINCT VE1.V
FROM VE AS VE1
WHERE NOT EXISTS
	(SELECT * FROM VE AS VE2
	WHERE VE2.V = 1
	AND VE2.E NOT IN
		(SELECT VE3.E
		FROM VE AS VE3
		WHERE VE1.V = VE3.V));