Референциальная прозрачность

РЕФЕРЕНЦИАЛЬНАЯ ПРОЗРАЧНОСТЬ — возможность замены сингулярного термина на кореферентный ему термин, предполагающая сохранение истинностного значения содержащего их предложения.