via 집합족과 첨수 Family and index at
https://freshrimpsushi.github.io/posts/family-and-index/
Def.
1.
family: 원소가 집합인 집합.
...즉 원소들의 type이 모두 set?
2.
멤버,member:
family의
원소,element.
3. 한 집합
$\displaystyle \Gamma$ 의
각
$\displaystyle \gamma\in\Gamma$ 에
집합
$\displaystyle A_\gamma$ 가
대응,correspondence할 때,
$\displaystyle \gamma$ 를
인덱스,index
$\displaystyle \Gamma$ 를 인덱스집합,index_set ?
$\displaystyle \left\{ A_\gamma : \gamma\in\Gamma \right\}$ 를 인덱스패밀리,index_family ?
라고 한다.
(저 글에서는
family - 족
member - 구성원
index - 첨수 의 번역에 부정적)
family는 collection { 컬렉션 모임 ... }이라고도 불리움.