Extension
Extension ist ein Fremdwort aus dem Lateinischen und Englischen mit der Bedeutung Ausdehnung oder Erweiterung.
Spezielle Bedeutungen
- Bei einigen Betriebssystemen bedeutet Extension die Dateiendung am Ende eines Dateinamens, abgetrennt durch einen Punkt. Sie kennzeichnet dann das Format der Datei.
- In der Medizin versteht man unter Extension eine Zugvorrichtung, die die Bruchenden bei einem Knochenbruch auseinander zieht.
- In der Philosophie meint Extension den Umfang eines Begriffes im Gegensatz zur Intension., d.h. die Menge aller Objekte, die mit einem Begriff bezeichnet werden soll. Diese Menge kann dabei durchaus die leere Menge sein (so dürfte z.B. die Menge aller Engel leer sein).
- In der Mathematik gilt der Grundsatz, dass eine Menge ausschließlich durch ihre Elemente gekennzeichnet ist, und im Gegensatz zur philosophischen Sicht keinerlei Intension mit einer Mengendefinition verknüpft ist. Dies ist die Aussage des Extensionalitätsaxiom der Zermelo-Fraenkel-Mengenlehre.
Websites:
Tagoror |
Guajara |
Tacoronte Guia |
Todo Gomera |
Deranet |
Radioaficionados |
Cinebso |
Mi Buscador
Enciclopedia On Line:
GNU FDL.
