5.42

É óbvio que ∨, ⊃, etc., não são relações no sentido de direita e esquerda.