Way-below relation

Summary

The way-below relation $x \ll y$ on a partially ordered set says that $x$ is a necessary part of every directed approximation of $y$. It refines the order $x \le y$ and formalizes the idea of "a finite piece of information about $y$". It is used to define continuous lattices and continuous domains, and an element is compact exactly when it is way below itself.