# Notation and the name choice for meet and join (in order theory)

I have two simple questions:

1. From where do the names meet and join come from? I don't see any intuition between those names in context of order theory.

2. From where does the notation come? I have to admit, I always had an impression that notation we use is somewhat backwards... just take the look at the picture at the wikipedia!

I used this notation a lot of times and I have to admit that often I have to stop for a minute and convince myself that I'm indeed using it right. I'm hoping that learning a bit about origin and context of name choice and notation will make it easier.

-
I like to think of them as pointing to their counterparts, so if you're not sure what $\vee$ means, for example, then just ask, "where could I find the other one (if it existed)?" - and it'll say, "down there!" – Shaun Dec 28 '13 at 12:52
It's not the symbols that are the wrong way up, it's Hasse diagrams. If the diagrams were drawn with joins pointing downward (and if the names of 'top' and 'bottom' were reversed or changed entirely), it would all make sense :-) – Daira Hopwood Apr 25 '15 at 8:19

Consider the lattice of subspaces of a vector space. The meet of two subspaces is their set-theoretic intersection; e.g., for two $2$-dimensional subspaces of $\mathbb R^3$, their meet is the line where the two planes meet. The join of two subspaces is what we get when the two subspaces join together to make a bigger subspace; in general it's not just the set-theoretic union, but the linear span of the union.
You also wanted to know where the symbols $\vee$ and $\wedge$ come from. I don't know but I'd guess they are derived from the symbols $\cup$ and $\cap$ for union and intersection, the lattice operations in the lattice of all subsets of a set. As for the symbols $\cup$ and $\cap$, my wild guess is that they are stylized versions of the letters u (for union) and n (for intersection). And if that's not the true history, it's good enough for a mnemonic, isn't it?
For me, there are more pairs of similar operations: intersection and union for sets, and and or in logic. meet and join are abstractions of these pairs and so have abstract names. In context of algebraic lattices these are the primitive operations, in equivalent context of order theory these are names for inf and sup of two elements. Also note the similarity in symbols for operations $∧, ∨, ∩, ∪$ and in connection symbols for order $<, >, ⊂, ⊃$.