Does this avoid asking questions that would make the relation not a partial ordering? Is it even possible to implement that?
Yes, you can store old answers and report error when one of the axioms of poset is violated.
21–21 of 21 posts
Does this avoid asking questions that would make the relation not a partial ordering? Is it even possible to implement that?