n (context|mathematical logic|computer science) Given two terms, their join with respect to a specialisation order.