assume {} in {A,B} ; :: according to SETFAM_1:def 8 :: thesis: contradiction
hence contradiction by TARSKI:def 2; :: thesis: verum