ストラクチャー(構造)の定義
話題
About: ストラクチャー(構造)
この記事の目次
開始コンテキスト
- 読者は、セット(集合)の定義を知っている。
ターゲットコンテキスト
- 読者は、ストラクチャー(構造)の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
\(*S\): \(\in \{\text{ 全てのセット(集合)たち }\}\)、ファイナイト(有限)引数たちのオペレーションたちの任意のコレクションでそれによって当該セット(集合)が閉じているものを持つもの、ここで、いくつかのオペレーションたちの各々はいくつか他のストラクチャー(構造)たちを巻き込むかもしれない
//
コンディションたち:
//
2: 自然言語記述
任意のセット(集合)\(S\)で、ファイナイト(有限)引数たちのオペレーションたちの任意のコレクションでそれによって当該セット(集合)が閉じているものを持つもの、ここで、いくつかのオペレーションたちの各々はいくつか他のストラクチャー(構造)たちを巻き込むかもしれない
3: 注
"いくつかのオペレーションたちの各々はいくつか他のストラクチャー(構造)たちを巻き込むかもしれない"の一例として、任意のベクトルたちスペース(空間)は、スカラーマルチプリケーション(乗法)オペレーションを持つが、それはフィールド(体)(それは別のストラクチャー(構造)である)を巻き込む。したがって、"ファイナイト(有限)引数たち"の内のいくつかは、他のストラクチャー(構造)たちのものであるかもしれない。