-
Notifications
You must be signed in to change notification settings - Fork 4
/
232.txt
31 lines (26 loc) · 1.68 KB
/
232.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
- [1] 特定の条件を満たすものの集まり。 Set。
- [2] 例: [SAMP(math)[[VAR[S]] := { [VAR[n]] | [VAR[n]] > 10, [VAR[n]] ∈ '''[[Z]]''' }]] (10 より大きな[[整数]]の集合 [VAR(math)[S]]。)
- [3] [[数学的]]には、集合は厳密に一意に定義され得るものでなければなりません。例えば、[SAMP[1940年以前に発行された新聞]]という集合は存在し得ますが、[SAMP[古い新聞]]という集合は存在し得ません。[SAMP[古い]]という[[形容詞]]が曖昧なのです。
- [4] しかし、数学的厳密性を必要としない分野では、 >>3 の限りではありません。日常の範囲では[SAMP[古い新聞]]という集合があっても構わないでしょう。
[FIG(short list)[
- [[空集合]]
- [[有限集合]]
- [[無限集合]]
- [[部分集合]]
- [[超集合]]
- [[順序付き集合]]
- [[機能集合]]
- [[文字集合]]
- [[符号集合]]
- [[符号化文字集合]]
- [[フォームデータ集合]]
- [[砂箱化フラグ集合]]
- [[節点集合]]
- [[JWK集合]]
]FIG]
[5] [[数学]]的には、普通は[[集合]]は[[順序]]を持たないものと理解されています。
しかし中には[[順序]]が定義されるものもあります。
- [7] [[Web]] では[[順序付き集合]]が使われます。順序が意味を持ちます (が重複はありません)。
- [8] [[JWK集合]]は原則として順序を持ちませんが、[[応用]]が意味を持たせることもできます。
[6] [[数学]]的には、普通は[[集合]]は重複を含まないものと理解されています。
しかし中には重複が認められるものもあります。