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?
No comments:
Post a Comment