Ühisosa: erinevus redaktsioonide vahel

:<math>\bigcupbigcap M \equiv \bigcupbigcap \limits_{i \in I} A_{i} </math>,

kus ''I'' tähistab mõnd [[indeksihulk]]a. Teisisõnu on hulga <math>\cupcap</math> <math>M</math> elementideks on parajasti kõik sellised elemendid, mis kuuluvad ühtlasi ka igasse hulka <math>A_{i}</math>.

Kui <math>\cupcap</math> <math>M</math> on [[tühi hulk]], siis öeldakse, et hulga ''M'' elemendid on [[ühisosata hulgad]]. Kui ''A''&cap;''B'' on tühi hulk, siis ''A'' ja ''B'' on ühisosata hulgad.