Fallunterscheidung steht für:

in der Informatik für das Feststellen einer Bedingung für eine Bedingte Anweisung und Verzweigung in der Mathematik insbesondere bei Beweisen für das Betrachten unterschiedlicher Fälle, siehe Beweis (Mathematik) #Vollständige Fallunterscheidung