Partial order relations definition

411 Views Asked by At

Okay by definition :

A relation $≤$ on a set $P$ is a partial order or linear order if it is reflexive, antisymmetric, and transitive.

The thing I don't understand is,

$≤$ is always reflexive,antisymmetric and transitive. So Does that mean that every Set $P$ is partially ordered? What is the purpose of using "if" in the definition above then?

1

There are 1 best solutions below

2
On BEST ANSWER

I asked a similar question like this when I took linear algebra about the word "if" in a definition.

As @MatthewLeingang says, $\leq$ isn't our usual symbol like in $\mathbb{R}$, it is a placeholder. We may take it to be $\subset$ if we wish.

Now to the real question: the word "if" is just to signify the defining property. For example, here's a fake definition:

An object is called spoofy if it is green and plays music.

The conjunction "if" is just used to join the object's name to its defining properties.