Extension1. Januar 2013Ex|ten|si|on 〈f. 20〉 1 Ausdehnung, Ausstreckung 2 〈IT〉 typisierende Erweiterung von Dateinamen, z. B. doc, pdf, jpg 3 〈Logik〉 die Menge der…