join

least upper bound