4.2.1.1: Kategorisierung

Sei D eine Menge von Objekten und

A_i:D->R_i  , i=1,...,n

eine Menge von Attributen auf diesen Objekten. Sei weiter V die Menge der Tupel, die durch die Attribute A_i, i=1,...,n aus den Objekten erzeugt werden und {K₁,...,K_r} eine Klassifikation der Menge V in nichtleere Klassen. Dann heißt {K₁,...,K_r} bzw. die Menge der Urbilder

D_i=T^-1(K_i)

der Klassen unter der Tupelbildung T aus Gleichung ( _4.1.2.1_ ) in der Menge der Objekte {D₁,...,D_r} eine Kategorisierung der Menge D .