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

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