Definition. Information ordering [dt-000B]
An information ordering is a partial order on denotations, written a \sqsubseteq b. This indicates that b is approximated by, or carries more information than, or is more well-defined than a. Naturally, the bottom value, being totally uninformative, is always the least element in this ordering.