let e be set ; :: according to MEMBERED:def 4 :: thesis: ( e in {w1,w2,w3} implies e is rational )
thus ( e in {w1,w2,w3} implies e is rational ) by ENUMSET1:def 1; :: thesis: verum