negative? -- vonuvoli Definition predicate;
Procedure variants:
((real-zero |1...|) -> (false))
((real-positive |1...|) -> (false))
real-positive;... -- at least one time;false;((real-negative |1...|) -> (true))
real-negative;... -- at least one time;true;((real |1...|) -> (false))
vs:arithmetic -- (vonuvoli arithmetic);vs:base -- (vonuvoli base);