Sous l'effet de l'utilisation pratique des commandes, de nombreux types particuliers de commandes ont été définis, dont certains sont devenus des champs mathématiques propres.
La théorie de l'ordre est un domaine des mathématiques.