// 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 gevraagde verzameling komen voor in de gegeven verzameling.

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

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