What is the meaning of Directed_set?
A set equipped with a preorder such that for any two elements a and b there is an element c such that a ≤ c and b ≤ c.
Source: wiktionary.orgSearch words containing
A set equipped with a preorder such that for any two elements a and b there is an element c such that a ≤ c and b ≤ c.
Source: wiktionary.orgSearch words containing