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