Example: sei  [x] > 0
Definition: "contraction of "ohne einschränkung", [german] for "[without] [restriction]"