In mathematics, specifically order theory, the join of a subset S {\displaystyle S} of a partially ordered set P {\displaystyle P} is the supremum of S, {\displaystyle S,} denoted ⋁ S, {\textstyle \bigvee S,} and similarly, the meet of S {\displaystyle S} is the infimum, denoted ⋀ S.