$$\ast54.43.  
  \vdash {\smash{:}}. \,\> \alpha, \beta \in 1 \>. \supset \,: \alpha\cap\beta = \Lambda 
  \>. \equiv .\>
  \alpha\cup\beta \in 2$$