I've never understood why ⊃, rather than ⊂, is used for implication. It has the disturbing consequence for set theory that "∀x, x ∈ A ⊃ x ∈ B" is the same statement as "A ⊆ B". I know this goes back at least to Russell and Whitehead, and probably before. Does anyone know the rationale?