Eine Extension beschreibt in der Informatik eine Erweiterung,die mit Hilfe vieler Beispiele ein gesamtheitliches Konzept erfüllen. Ein Konzept ist dabei definiert wie eine einstellige Funktion. Diese einstellige Funktion prüft ob ein Beispiel unter bestimmten festgelegten Bedingungen zum Konzept gehört. Die Menge der Beispiele, die zu einem Konzept gehören und dessen Anforderungen erfüllen, nennt man Extension.