Podívejte se na tento pokročilý odpovědníkový příklad z procvičení k Lekci 4:

Zkoušeli jste si jej (a jeho mnohé generované varianty) sami řešit? A dělali jste to oním rozšířeným chybným způsobem, kdy si to pouze zkusíte na 4 množinách a o platnost na více množinách (m>4) se vůbec nezajímáte? Nebo jste si už uvědomili, že s různými hodnotami m  počtu množin se může platnost takového vztahu měnit? (A že se varianty, jejichž platnost závisí na m, docela koncentrovaly ve zkouškových sadách...)

Pokud vás v tomto směru zajímá vědět více, zkuste si samostatně řešit tento bonusový úkol, který však vůbec není jednoduchý (a číst budu pouze smysluplná řešení s důkazy):

1. Pro zahřátí musíte nalézt variantu takového vztahu s indexovanými množinovými operacemi, který pro m=4 množin platí a pro některé m>4 množin už neplatí. Odpověď samozřejmě přesně dokažte.
   Za tuto odpověď samotnou ještě body nebudou, ale v každém řešení tento bod musí být správně. (Příznivěji se budu dívat na ta řešení, kde tento bod bude řešen co nejjednodušeji a zároveň co nejoriginálněji - tj. ne stejně jako mnoho dalších řešení).
   
2. Zkuste co nejpřesněji popsat, za jakých "okolností" se platnost takového podobného vztahu mění s hodnotou m>=4. Toto je velmi otevřená otázka, sami musíte přemýšlet a zformulovat, co by mohla být rozumná odpověď (i částečná odpověď je hodnotná, pokud vypadá zajímavě), a tu odpověď pak dokázat. Například se zamyslete, jak by to mohlo záviset na použitých množinových operacích...
3. Rozhodněte, zda existuje M takové, že takový indexovaný množinový vztah označený (V) platí pro všechna m>=4, právě když  (V) platí pro všechna m=4,5,...,M. Tuto odpověď opět musíte dokázat a jedná se o nejobtížnější bod celého bonusu.