 Premise is: Ceci s'applique à la fois aux relations entre C et R définies par une unique fonction C-R et à celles qui sont définies par un ensemble de fonctions C-R.
Hypothesis is: Il y a beaucoup de fonctions C-R qui marchent ensembles.