Hi,

I was reading in the Naive Set Theory book by Halmos, and encountered partially ordered sets.

It seems like a lot of people understand these things immediately. I am not one of those

I did a bit of searching and read through the wiki on posets. Here's an example they give:

Set of natural numbers equipped with the relation of divisibility.

is the set of all positive divisors of 60.

Then this relation (divisibility) is reflexive, transitive and antisymmetric.

(1)Reflexive:

So,

As I understand it, the ordered pair

is in a partially ordered subset of

.