CatGloss
The truth - table is $ begin{array}{c
c}alpha&beta&alphasupsetbeta hline 1&1&1 1&0&0 0&1&1 0&0&1end{array} $ The
implication truth function
$ Rightarrow:2times 2to 2 $ has $ 1Rightarrow 0=0 $