Separatedness, discreteness, and comparators

Tags: discrete partial Markov category, partial function.