quasitotal preorder
References.
- Restriction Categories I, Categores of Partial Maps (Cockett, Lack, 2002). This order generalizes the one presented in this paper, paragraph 2.1.4.
Tags: partial Markov category, quasitotal conditional, conditionals are unique up to ranges.