Example. Information ordering for flat domains [dt-000C]
Consider a flat domain X_\bot . There is a natural information ordering \sqsubseteq on X_\bot :
Formally, we say x \sqsubseteq y iff (x = y \lor x = \bot ).
Consider a flat domain X_\bot . There is a natural information ordering \sqsubseteq on X_\bot :
Formally, we say x \sqsubseteq y iff (x = y \lor x = \bot ).