De core van een coöperatief spel $(N,v)$ bestaat uit alle verdelingen $x$ die aan de volgende condities voldoen (Zie Core):
- $\sum\limits_{i \in N}x_i=v(N)$,
- $\sum\limits_{i \in S}x_i \geq v(S)$ voor elke coalitie $S\subseteq N$.
Opmerking: Als we voor $n=3$ de coalities $S=\emptyset$ en $S=N$ buiten beschouwing laten, levert conditie 2. zes ongelijkheden op. Een core-element is een extreem punt van de core dan en slechts dan als tenminste twee van deze zes ongelijkheden bindend zijn.
Een ongelijkheid wordt bindend genoemd, als die ongelijkheid nog net geldt, oftewel als het ongelijkheidsteken vervangen kan worden door een gelijkheidsteken.
