Koukal jsem na ten odkaz, to jsou celí matematici. Když něco vysvětlují, tak si dají záležet, aby tomu nikdo nerozuměl. Představ si to asi tak:
Maminka ti dá stopade, abys jí koupil do vánočního pečení flašku rumu (tuzemáku). Tak jdeš do hyperqelbu mezi regály (množinami) vyhledáš regál (množinu) "Alkoholické nápoje" a tam podmnožinu "Tuzemáky".

Tuzemáky jsou podmnožina Alkoholických nápojů, Alkoholické nápoje jsou nadmnožina Tuzemáků.
Tuzemák je alkoholický nápoj a alkoholický nápoj nemusí být tuzemák.
Tak běž, ať ti nezavřou a ne abys zase přinesl mléko jako posledně.

Koukám, že jsem to taky zvoral. Tuzemáky jsou samostatná množina a současně podmnožina alkoholických nápojů. Tak můžeš rovnou hledat množinu tuzemáků a jeden prvek (flašku) z té množiny si dát do košíku. A než přijdeš k pokladně, můžeš podumat, že prvek z co máš v košíku má vlastnosti množiny tuzemáků a současně množiny alkoholických nápojů. A taky množiny nápojů v lahvích.
Jestli tomu nerozumíš, asi nejsi sám.