Экстенсиональность

ЭКСТЕНСИОНАЛЬНОСТЬ (отлат. extensio — протяжение, расширение) — заменяемость равных (синонимичных) выражений применительно к контекстам и языкам. Контексты, удовлетворяющие правилам замены равных, названы экстенсиональными; так же названы и языки, все контексты которых экстенсиональны. В противном случае говорят о не-экстенсиональности (или интенсиональности) языков и контекстов.