ๅ’Œ้›†ๅˆ
้›†ๅˆๆ—$ (A_\lambda)_{\lambda \in \Lambda}ใŒไธŽใˆใ‚‰ใ‚ŒใŸๆ™‚
$ x \in A_\lambdaใจใชใ‚‹$ \lambdaใŒๅฐ‘ใชใใจใ‚‚๏ผ‘ใคๅญ˜ๅœจใ™ใ‚‹ใ‚ˆใ†ใชxๅ…จไฝ“ใฎ้›†ๅˆใ‚’ใ€ใ“ใฎ้›†ๅˆๆ—ใฎๅ’Œ้›†ๅˆใจใ„ใ†
$ \bigcup_{\lambda \in \Lambda} A_{\lambda} = \{ x \mid \exist \lambda \in \Lambda ( x \in A_\lambda ) \}
้›†ๅˆใ‚’้›†ใ‚ใŸใ‚‚ใฎใฏ้›†ๅˆใจ่จ€ใˆใ‚‹ใฎใ‹ใฏๅฎŸใฏๆ›–ๆ˜งใชใจใ“ใ‚ใŒใ‚ใ‚‹ใ‚ˆใ†ใซ่ฆ‹ใˆใ‚‹miyamonz.icon
ๆพๅ‚ๅ…ˆ็”Ÿใฎๆœฌใซใ‚‚
๏ผˆๅฟ…ใšใ—ใ‚‚ๆญฃ็ขบใชใ„ใ„ๆ–นใงใฏใชใ„ใŒ๏ผ‰
ใจใ„ใ†ใ‹ใฃใ“ใŒใใŒใ‚ใ‚‹
้›†ๅˆใ‚’ใ€่‡ช็„ถ่จ€่ชžใฎไธŠใงๆง‹ๆˆใ™ใ‚‹ใจใ€ใƒฉใƒƒใ‚ปใƒซใฎใƒ‘ใƒฉใƒ‰ใƒƒใ‚ฏใ‚นใจใ‹ใฎไพ‹ใ‚‚ใ‚ใ‚‹
ใจใŠใ‚‚ใฃใฆใ‚ฐใ‚ฐใฃใŸใ‚‰ใ€ๅ…ฌ็†็š„้›†ๅˆ่ซ–ใฎๅ’Œ้›†ๅˆใฎๅ…ฌ็†ใŒใ“ใ‚Œใ‚’ไฟ่จผใ—ใฆใ„ใŸ
ๅ…ฌ็†็š„้›†ๅˆ่ซ–่‡ชไฝ“ใŒใ€ใƒฉใƒƒใ‚ปใƒซใฎใƒ‘ใƒฉใƒ‰ใƒƒใ‚ฏใ‚น็ญ‰ใฎ็Ÿ›็›พใฎๅ›ž้ฟใฎใŸใ‚ใซไฝœใ‚‰ใ‚Œใฆใ„ใ‚‹
see wikipedia