( { name = Synáčková } ∩ { wants cool web} ) ⊆ ∅