Da bin ich nicht einer Meinung mit dir, eine Distribution muss kein OS sein, dies kann z.B. auch ein quelloffenes ERP sein, welches ein Hersteller als Distribution verteilt.
Debian gibt es auch mit FreeBSD Kernel, trotzdem bleibt es Debian als OS. Korrekt ist, dass Debian eine Linux Distribution...