Zu jeder endlichen konsistenten Beispielsammlung mit endlichen Attributwertebereichen gibt es einen Kategorisierungsalgorithmus, der die Tupel der Beispielsammlung richtig kategorisiert.
Im einfachsten Fall ist dieser Algorithmus eine Aufzählung der Beispiele.