join
least upper bound