Le tout est plus grand que la partie.
Cette notion commune est évidente. En fait, nous pouvons y percevoir une relation d'ordre, comme l'inclusion pour les ensembles ou la relation « inférieur ou égal » sur les nombres. Il s'ensuit que la partie est plus petite que le tout.
Pour Euclide, il revient de même de dire qu'une grandeur A est comprise dans une autre grandeur B et qu'il existe une troisième grandeur C telle que A + C = B.