If the order does not satisfy the total property, then $~$S$~$ is a partially ordered set, and $~$\\le$~$ is a partial order on that set, in which case certain elements might be incomparable\.
Any relation satisfying 1-3 is a partial order, and the corresponding set is a poset. A total order is a special kind of partial order defined by also satisfying 4.
Comments
Joe Zeng
So effectively all order relations are partial order relations?