@rogal
TRANSITIVITE : Si A=>B, et B=>C, donc A=>C
est grandement incomplet : ... donc A=>C ET ilE A, B, AB, AC, BC, ABC
(ilE pour « il Existe »)