2022年5月29日日曜日

79: ストラクチャー(構造)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ストラクチャー(構造)の定義

話題


About: ストラクチャー(構造)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、ストラクチャー(構造)の定義を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
\(*S\): \(\in \{\text{ 全てのセット(集合)たち }\}\)、ファイナイト(有限)引数たちのオペレーションたちの任意のコレクションでそれによって当該セット(集合)が閉じているものを持つもの、ここで、いくつかのオペレーションたちの各々はいくつか他のストラクチャー(構造)たちを巻き込むかもしれない
//

コンディションたち:
//


2: 自然言語記述


任意のセット(集合)\(S\)で、ファイナイト(有限)引数たちのオペレーションたちの任意のコレクションでそれによって当該セット(集合)が閉じているものを持つもの、ここで、いくつかのオペレーションたちの各々はいくつか他のストラクチャー(構造)たちを巻き込むかもしれない


3: 注


"いくつかのオペレーションたちの各々はいくつか他のストラクチャー(構造)たちを巻き込むかもしれない"の一例として、任意のベクトルたちスペース(空間)は、スカラーマルチプリケーション(乗法)オペレーションを持つが、それはフィールド(体)(それは別のストラクチャー(構造)である)を巻き込む。したがって、"ファイナイト(有限)引数たち"の内のいくつかは、他のストラクチャー(構造)たちのものであるかもしれない。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>