Division par zéro. Opérations simples sur les Nombres en Non Vie. Additions

Non Vie de a + Non Vie de b = Non Vie b + Non Vie de a .
la commutativité est générale pour tous les ensembles (et ce même sur en vie l'addition n'est pas commutative ? à vérifier).

Mais aussi:

Non Vie de a + Non Vie de b = Non Vie de (a+b)

Non Vie de a + (Non Vie de b + Non Vie de c) = Non Vie de (a+b+c)
--------------------------

Vie de a + Non Vie de b = Vie de a + Non Vie de b = Non vie de b + Vie de a = VIE DE a
Non Vie de x est neutre par addition sur un élément en Vie