A preference ⪰ defined on a topological space X is said to be: / […] 2) non-satiated, whenever for each x ∈ X there exists some z ∈ X such that z⪰x. […] For each i there exists (by the non-satiatedness) some zi ∈ E+ such that zi⪰i xi.
2002, Hans Föllmer, Alexander Schied, Stochastic Finance: An Introduction in Discrete Time (in English), Walter de Gruyter, →ISBN, page 57:
Definition 2.2. A preference order ≻ on 𝒳 induces a corresponding weak preference order⪰ defined by / x⪰y : ⟺ y ⊁ x, / and an indifference relation ⁓ given by / x ⁓ y : ⟺ x⪰y and y⪰x. / Thus, x⪰y means that either x is preferred to y or there is no clear preference between the two.
2014 June 18, Companion to Intrinsic Properties (in English), De Gruyter, →ISBN, page 277:
Following Krantz et al. (1971) there are two primitive predicatives: greater than or equal to (⪰) and concatenation (◦). To say that x⪰ y means, intuitively that the length of x is greater than or equal to the length of y.
2015, Jeffrey W. Herrmann, “DECISION-MAKING FUNDAMENTALS”, in Engineering Decision Making and Risk Management (in English), Wiley, →ISBN, RATIONALITY, page 26:
Let A⪰B denote the fact that the decision maker prefers alternative A over alternative B or views them as equivalent. Then, certain properties must hold: reflexivity is the property that A⪰A. The property of antisymmetry states that if A⪰B and B⪰A, then A = B (that is, the decision maker has no preference; they are equivalent).
