Definition
Operator The
operator defines a function from a total function . The minimum is taken over the first argument of
.
Examples
Example
Example
Trivially, there exists no such an
such that . Therefore, it’s undefined. The same holds for all:
Define
as: Then:
The 1-arity function
is undefined for all .
Trivially,
is undefined for given that: