Vie de a * Non Vie de b = Non Vie de b * Vie de a
Commutativité généralisée à tous les ensembles (y compris si * n'est pas commutatif en vie ? probablement mais à vérifier)
Vie de a * Non Vie de b = Non Vie de (a*b)
Commutativité généralisée à tous les ensembles (y compris si * n'est pas commutatif en vie ? probablement mais à vérifier)
Vie de a * Non Vie de b = Non Vie de (a*b)
LA NON VIE ABSORBE LA VIE