I proposed an edit to fix these 2 issues (in the 1st example):
1) The answer claims there is no anti-symmetry, which is mistaken. In particular, if something breaks anti-symmetry, it cannot be a valid strict ordering (which is another claim from the answer).
2) This is less serious, but saying "everyone must follow orders that come from the CEO" in natural language is unclear on whether the CEO follows orders from himself.
Does the first question seem a bit much of a 'gotcha'? I was slightly annoyed I got it wrong despite being quite capable of working with posets. XD
I suppose the way it is asked is completely valid, and will drive home the fact that relations have to be reflexive and illustrates very well what would be necessary to get a valid order.
What are other people's thoughts?
(Maybe it will be better once it isn't the only question, nor the first?).
Maybe. I haven't done so because the underlying set page describes underlying sets specifically in terms of algebraic structures. I think that a link to that page would therefore just cause confusion.
Alexei I was going to add an examples lens to this page, but I seem to have lost the ability to create lenses. I remember being able to create lenses by placing an orange button in the bottom right corner. That does not currently work, however: the "create lens" icon doesn't show up.
We removed that button from the quick menu because it had too many buttons. Now you have to create a page, then add this page as a parent, and then change the page's type to "Lens" in settings. As I typed this, I realized how many steps that is. We'll make this simpler.
Not clear what this means?
I'm thinking the full name of the article should be "Partially ordered set", with "poset" as an alias and alternate form in the article.
I proposed an edit to fix these 2 issues (in the 1st example):
1) The answer claims there is no anti-symmetry, which is mistaken. In particular, if something breaks anti-symmetry, it cannot be a valid strict ordering (which is another claim from the answer).
2) This is less serious, but saying "everyone must follow orders that come from the CEO" in natural language is unclear on whether the CEO follows orders from himself.
Thanks Chris. Edit accepted.
Does the first question seem a bit much of a 'gotcha'? I was slightly annoyed I got it wrong despite being quite capable of working with posets. XD
I suppose the way it is asked is completely valid, and will drive home the fact that relations have to be reflexive and illustrates very well what would be necessary to get a valid order.
What are other people's thoughts?
(Maybe it will be better once it isn't the only question, nor the first?).
Would it be appropriate to link to the Underlying set page here?
Yeah, I was wondering about that. Does it make sense to have an "underlying set" page that works for both cases?
Actually, I'm going to ask this in the slack, as others may have opinions...
Maybe. I haven't done so because the underlying set page describes underlying sets specifically in terms of algebraic structures. I think that a link to that page would therefore just cause confusion.
Should the p's and q's in one of these be switched?
Alexei I was going to add an examples lens to this page, but I seem to have lost the ability to create lenses. I remember being able to create lenses by placing an orange button in the bottom right corner. That does not currently work, however: the "create lens" icon doesn't show up.
We removed that button from the quick menu because it had too many buttons. Now you have to create a page, then add this page as a parent, and then change the page's type to "Lens" in settings. As I typed this, I realized how many steps that is. We'll make this simpler.