information operators: least upper bound (lub) and greatest lower bound (glb)