angebot(lname,ware)

welche lieferanten bieten alle waren an, die auch von 'weiss'
angeboten werden?

WW := project[ware](select[lname='weiss'](angebot)) -- waren weiss

project[lname](angebot) -
project[lname]( ( project[lname](angebot) x WW ) - angebot )
                 -----------------------------------------
                (lieferant,ware) ware nicht im weiss-angebot

project[lname](angebot) -
project[lname](
  ( project[lname](angebot) x project[ware](select[lname='weiss'](angebot)) )
    - angebot )

angebot div project[ware](select[lname='weiss'](angebot))