Conversions are implicitly defined to convert between values of the base and the lifted type.

Of course, canonicality depends on context, but it is implicitly defined as the way *hackers* normally expect things to be.

This ordinal definition of the categories implicitly defines a preference structure.

Evaluation always comes from some particular perspective, and inevitably it has regard to some implicitly defined functions.

In other words, X is defined implicitly to consist of all the points that satisfy the condition specified by the predicate.

Imperative programming languages, where the order of execution is implicitly defined by the source code organization, almost always use eager evaluation.

Solving these for y implicitly defines a best response function for each firm; and .

In calculus, a method called implicit differentiation makes use of the chain rule to differentiate implicitly defined functions.

The quantity "r" is not the radius, but rather is implicitly defined like this:

It provided named common and implicitly defined &SETA symbols, but had some restrictions as well.