extensionally's Usage Examples:

These functions are extensionally equal; given the same input, both functions always produce the same.

Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension.

designator (or flaccid designator) or connotative term if it does not extensionally designate (denote, refer to) the same object in all possible worlds.

We say the terms are extensionally equal.

In extensionally deforming regimes, the veins occur roughly normal to the axis of extension.

Kazmakerputiun Hask, the category of Haskell (programming language) types and extensionally identified Haskell functions as morphisms This disambiguation page lists.

The set can be described extensionally by listing all the values, or it can be described intensionally by stating.

It is not possible in general to decide if two functions are extensionally equal due to the undecidability of equivalence from Church's theorem.

More precisely, it is any extensionally closed superstructure M∗ of M such that for every existentially closed.

predicates, quantifiers), α is given if the meaning of α and β are extensionally identical or α is a hypernym of β.

to reason about tail-recursive control flow, this is an equivalent (extensionally equal) definition: M t ( n ) = M t ′ ( n , 1 ) {\displaystyle M_{t}(n)=M_{t}'(n.

formed from F and W coincides with another one, hence there are only 8 extensionally distinct possible predicates, each shown on an own line.

Operational rules are those rules which are defined extensionally, or as a list of tuples for which a predicate is true.

they are extensionally equal.

This is a significant problem, as it means that the intensional value of a lambda-term may change under extensionally valid.

many art theorists today consider aesthetic definitions of art to be extensionally inadequate, primarily because of artworks in the style of Duchamp.

to list its elements between curly braces (known as defining a set extensionally).

property Generalized Arc Consistency (GAC) on soft constraints defined extensionally by listing tuples and their costs.

equality: Extensional equality Two functions f and g are considered extensionally equal if they agree on their outputs for all inputs (∀x.

Contemporary cognitive scientists use a wide notion of analogy, extensionally close to that of Plato and Aristotle, but framed by Gentner's (1983).