[8]
(p.p. du aroj)
Tiaj, ke Äiu elemento de unu estas elemento de alia:
la aro de reelaj radikoj de polinomo
`bb X^2-bb 1`
estas egala al `{-1,1}`.
Rim.:
Pli Äenerale, en moderna matematiko, du objektoj estas
egalaj, se ili estas absolute nedistingeblaj, do havas precize
la samajn ecojn. La egalecon de du objektoj
`a`
kaj `b` oni signas per
`a=b`
(a egalas al bo, aÅ: a egalas bo-on,
aÅ: a egal bo).