Imaginäres Element
Definition
Ein imaginäres Element ist eine Äquivalenzklasse von Tupeln unter einer definierbaren Äquivalenzrelation, die als neues Element in der imaginären Erweiterung M^eq einer Struktur behandelt wird; Imaginäre erlauben es, Quotienten durch definierbare Relationen als echte Sorten zu handhaben.