// 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.
- De gevraagde verzameling heeft elementen die niet voorkomen in de gegeven verzameling.

- Het is niet zo dat de gegeven verzameling 1 element heeft dat niet voorkomt in de gevraagde verzameling.
- Het is 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 VE2.V = 1
	AND VE2.E NOT IN
		(SELECT VE3.E
		FROM VE AS VE3
		WHERE VE1.V = VE3.V))
AND EXISTS
	(SELECT *
	FROM VE AS VE4
	WHERE VE1.V = VE4.V
	AND VE4.E NOT IN
		(SELECT VE5.E
		FROM VE AS VE5
		WHERE VE5.V = 1));