discrete mathematics - Why relations are defined as the smallest

Often relations are defined as follows:

The xxxxx relation is the smallest relation satisfying...

My question is why relations are defined as the smallest relations. I thought it may be so relation is uniquely defined but I have never see a proof that there is exactly one smallest relation. Does such proof exists? Are there any other reasons?