Die Subsumtion (auch Subsumption), deutsch Unterordnung, ist ein klassifikatorischer Vorgang, bei dem man einen Begriff oder eine Struktur unter einen anderen Begriff bzw. eine andere Struktur ordnet. Die Vorgehensweise der Subsumtionslogik oder Klassifikationslogik wird als Gegenbegriff zur dialektischen Logik angesehen.