Théorème CAPthumb|Représentation des contraintes du théorème CAP. Le théorème CAP ou CDP, aussi connu sous le nom de théorème de Brewer, dit qu'il est impossible sur un système informatique de calcul distribué de garantir en même temps (c'est-à-dire de manière synchrone) les trois contraintes suivantes : Cohérence (Consistency en anglais) : tous les nœuds du système voient exactement les mêmes données au même moment ; Disponibilité (Availability en anglais) : garantie que toutes les requêtes reçoivent une réponse ; Tolérance au partitionnement (Partition Tolerance en anglais) : aucune panne moins importante qu'une coupure totale du réseau ne doit empêcher le système de répondre correctement (ou encore : en cas de morcellement en sous-réseaux, chacun doit pouvoir fonctionner de manière autonome).
Nombre abondantEn mathématiques, un nombre abondant est un nombre entier naturel non nul qui est strictement inférieur à la somme de ses diviseurs stricts ; autrement dit, c'est un entier n strictement positif tel que : où est la somme des entiers positifs diviseurs de n, cette fois. Exemples : Prenons le nombre 10 : Les diviseurs de 10 sont 1, 2, et 5. La somme 1 + 2 + 5 donne 8. Or 8 est inférieur à 10. Conclusion : 10 n'est donc pas un nombre abondant. Prenons le nombre 12 : Les diviseurs de 12 sont 1, 2, 3, 4, et 6.
