to the core-partial order has the complete lower semilattice structure, meaning that an
arbitrary family of operators possesses the core-infimum. We also give a necessary and
sufficient condition for the existence of the core-supremum of an arbitrary family, and we
study the properties of these lattice operations on pairs of operators.