Let R be an equivalence relation on a finite set A having n elements. Then the number of ordered pairs in R is
Greater than or equal to n
Since R is an equivalence relation on set A,
Therefore(a,a) ∈ R for all a∈A. Hence, R has at least n ordered pairs.