to determine if we have a partial ordering, we must verify that the set has three properties: reflexivity, anti-symmetry and transitivity. that is, we must show that:

1. for all

2. For all , If and then

3. For all , If and then

and it seems that you have defined to mean

by the way, what does "poset" mean?