$~$P$~$ is referred to as the poset's underlying set and $~$\\leq$~$ is referred to as its order relation\. Posets are the central object of study in order theory\.
Would it be appropriate to link to the Underlying set page here?
by Eric Rogstad Jun 17 2016
$~$P$~$ is referred to as the poset's underlying set and $~$\\leq$~$ is referred to as its order relation\. Posets are the central object of study in order theory\.
Would it be appropriate to link to the Underlying set page here?
Comments
Kevin Clancy
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.
Eric Rogstad
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…