r ∙ s : r ∙ s ⊃ r ⌵ s : ⊃ r ⌵ s
Verfahre so!