exo7 248

1

Soit \(E\) un ensemble de cardinal \(n, \Re\) une relation d’équivalence sur \(E\), avec \(k\) classes d’équivalences et \(r\) couples \(\left( x,y\right) \in E^{2}\) tels que \(x\Re y.\) Montrer que \(n^{2}\leq kr.\)