No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Let P be a set partially ordered by a (reflexive, antisymmetric, and transitive) binary relation ≺. Let be the family of all subsets K of P having the property that x ∈ P and y ∈ K and y ≺ x imply x ∈ K.