Before revision: Let A be a complete algebra over W. Then κ is an A-measurable completely minimitive natural negative ranking function if and only if κ is a function from W into N+ = N or {∞} such that κ(∅) = ∞ κ(A) = min {κ(w) | w ∈A} for each nonempty A ∈A; κ(A) is called the negative rank of A.Huber, Franz, "Formal Representations of Belief", The Stanford Encyclopedia of Philosophy (Spring 2016 Edition) , Edward N. Zalta (ed.
After revision: Let A be a complete algebra over W. Then κ is an A-measurable completely minimitive natural negative ranking function if and only if κ is a function from W into N+ = N or {∞} such that κ(∅) = ∞ κ(A) = min {κ(w) | w ∈A} for each nonempty A ∈A; κ(A) is called the negative rank of A.Huber, Franz, "Formal Representations of Belief", The Stanford Encyclopedia of Philosophy 2016, , Edward N. Zalta (ed.