xy yields True when x_i > y_i is True for all i=1,…,n:

xy yields False when x_i ≤ y_i for any i=1,…,n:

Represent a vector inequality:

When v is replaced by numerical vector space elements, the inequality gives True or False :

The cone is also given by :

The cone is also given by :

The cuboid is also given by :

Determine if all of the elements in a vector are non-negative:

Determine if all components are less than or equal to 1:

!xy does not imply xy:

For each component, !x_i≥y_i does imply x_i<y_i:

Compare the components of two matrices:

Compare symmetric matrices:

Represent the condition that Norm [{x,y}]<=1:

Represent the condition that :

Show the boundary of where for non-negative x,y with α between 0 and 1:

VectorGreater is a fast way to compare many elements:

VectorGreater is compatible with a vector space operation:

Adding vectors to both sides of for any vector :

Multiplying by positive constants for any :

x_κy are (strict) partial orders, i.e. irreflexive, asymmetric and transitive:

Irreflexive, i.e. for all elements so no element is related to itself:

Asymmetric, i.e. if then :

Transitive, i.e. if and then :

x_κy are partial orders but not total orders, so there are incomparable elements:

Neither nor is true, because and are incomparable elements:

The set of vectors and . These are the only comparable elements to :