A = a

A = A

- v tradičnej logike: symbolický spôsob zápisu pre zásadu totožnosti.