To understand this formula better, we could consider an obvious example of a reflexive, transitive and total (x <= y \/ y <= x) relation: non-strict order on natural numbers. The formula says that there is the least element. Well, on natural numbers with regular <= there is indeed the least element. But what if we choose a set other than natural numbers? Or we could recall that natural numbers don't have the largest element, so what relation could we choose to interpret <=?
Do you by chance study type theory?Give an interpretation that is no model of the above type.