extensional has definitions from the field of logic
1
[ adjective ] (logic) used of the class of entities to which a given word correctly applies

Related terms

logic denotative

*