Тождество (НФЭ, 2010)
ТОЖДЕСТВО – понятие, обычно представленное в естественном языке либо в форме «a (есть) то же, что и b» или «a тождественно b», что может быть символизировано как «a = b» (такое утверждение обычно называют абсолютным тождеством), либо в форме «а есть то же по свойству Φ, что и b» (утверждения подобного вида называются относительным тождеством и могут быть символизированы как «а = Φb»).