Definition talk:Partial Ordering

Couple of minor points:

• The definitions of poset / partial ordering are circular -- poset is used to define partial order and vice versa.
• Zorn isn't quite right (at least not optimal) with these definitions: what is a poset here is stronger as it rules out total order; so Zorn should read (I think) "$(P,\leq)$ is a set with a partial or total order"

It looks fairly interconnected so I don't want to just change anything --Linus44 22:09, 5 May 2011 (CDT)

ah! just "$(P,\leq)$ is an ordered set" would do? --Linus44 22:12, 5 May 2011 (CDT)

Whoops! Good call. Uncircularised as suggested. --prime mover 00:21, 6 May 2011 (CDT)