partially ordered set
Last modified on 10 November 2012, at 19:08↑Jump back a section
- (set theory) A set having a specified partial order.
- (set theory) Said set together with said partial order; the ordered pair of said set and said partial order.
- The two senses are commonly used interchangeably, there rarely being a need to distinguish between the two entities.