A partially ordered set in which, for every , the elements way-below form a directed set with least upper bound . Directed least upper bounds other than these approximating ones need not exist.
New to topics? Read the docs here!
New to topics? Read the docs here!