Definition:Join (Lattice Theory)