x1 is a positive number (greater than zero (0)), understood as a member of an ordered set with additive identity, such as the typical structure on the set of all real numbers.
x1 is a negative number (less than zero (0)), understood as a member of an ordered set with additive identity, such as the typical structure on the set of all real numbers.