Monday, 17 April 2017

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?

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...