Definition durch Abstraktion

Definition, bei der eine Eigenschaft von Gegenständen durch Feststellung einer Gleichheitsbeziehung zwischen den zu untersuchenden Gegenständen bestimmt wird, z. B. "Die Kardinalzahl einer Menge M ist die Klasse aller Mengen, die sich in der Relation der Gleichmächtigkeit mit der betrachteten Menge befinden."