Charakteryzacja (matematyka)

Stwierdzenie, że „własność P charakteryzuje obiekt X” oznacza nie tylko, że X ma własność P, ale że X jest jedynym obiektem, który ma własność P. Często spotyka się także zdania takie jak „własność Q charakteryzuje obiekt Y co do izomorfizmu”. Stwierdzenie pierwszego rodzaju mówi innymi słowy, że P jest zbiór jednoelementowy; drugie zaś, że rozszerzeniem Q jest jedna klasa abstrakcji (w tym przypadku izomorfizmu – jednak o rodzaj relacji równoważności zależy od wyrażenia znajdującego się za słowami co do).