3 ms·

Does this avoid asking questions that would make the relation not a partial ordering? Is it even possible to implement that?

• gnulinux 8y ago
  Yes, you can store old answers and report error when one of the axioms of poset is violated.