Separatedness, discreteness, and comparatorsLast updated Nov 7, 2022 Tags: Discrete partial Markov category, Partial function.