0: シリーズ「情報テーブル群」の目次|T.B.P.日本語版

レギュラーサブマニフォールド（多様体）上のチャートはアダプティングチャートの拡張であるレギュラーサブマニフォールド（多様体）のレギュラーサブマニフォールド（多様体）はベース\(C^\infty\)マニフォールド（多様体）の、特定のコディメンジョン（余次元）のレギュラーサブマニフォールド（多様体）であることの記述/証明

323: C^\inftyマニフォールド（多様体）の2つのトランスバーサル（横断）レギュラーサブマニフォールド（多様体）のインターセクション（共通集合）は特定コディメンジョン（余次元）のレギュラーサブマニフォールド（多様体）である

\(C^\infty\)マニフォールド（多様体）の2つのトランスバーサル（横断）レギュラーサブマニフォールド（多様体）のインターセクション（共通集合）は特定コディメンジョン（余次元）のレギュラーサブマニフォールド（多様体）であることの記述/証明

324: オープン（開）トポロジカルサブスペース（空間）のサブセット（部分集合）はサブスペース（部分空間）上でオープン（開）である、もしも、それがベーススペース（空間）上でオープン（開）である場合、そしてその場合に限って

オープン（開）トポロジカルサブスペース（空間）のサブセット（部分集合）はサブスペース（部分空間）上でオープン（開）である、もしも、それがベーススペース（空間）上でオープン（開）である場合、そしてその場合に限ってことの記述/証明

325: 非オープン（開）トポロジカルサブスペース（部分空間）のサブセット（部分集合）はサブスペース（部分空間）上でオープン（開）である、もしも、それがベーススペース（空間）上でオープン（開）である場合

非オープン（開）トポロジカルサブスペース（空間）のサブセット（部分集合）はサブスペース（部分空間）上でオープン（開）である、もしも、それがベーススペース（空間）上でオープン（開）である場合であることの記述/証明

326: ベーシス（基底）はトポロジーを決定する

ベーシス（基底）はトポロジーを決定することの記述/証明

327: 有限次元ベクトルスペース（空間）から同一次元ベクトルスペース（空間）へのリニア（線形）サージェクション（全射）は'ベクトルスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）である

有限次元ベクトルスペース（空間）から同一次元ベクトルスペース（空間）へのリニア（線形）サージェクション（全射）は'ベクトルスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）であることの記述/証明

328: ポイントのマップ（写像）イメージ（像）はサブセット（部分集合）上にある、もしも、ポイントがサブセット（部分集合）のプリイメージ（前像）上にある場合、そしてその場合に限って

ポイントのマップ（写像）イメージ（像）はサブセット（部分集合）上にある、もしも、ポイントがサブセット（部分集合）のプリイメージ（前像）上にある場合、そしてその場合に限ってであることの記述/証明

329: ポイントはサブセット（部分集合）のマップ（写像）イメージ（像）上にある、もしも、ポイントのプリイメージ（前像）がサブセット（部分集合）内に含まれている場合、しかし、その場合に限ってではない

ポイントはサブセット（部分集合）のマップ（写像）イメージ（像）上にある、もしも、ポイントのプリイメージ（前像）がサブセット（部分集合）内に含まれている場合、しかし、その場合に限ってではないことの記述/証明

330: プリイメージ（前像）の後のマップ（写像）合成は引数セット（集合）内に含まれている

プリイメージ（前像）の後のマップ（写像）合成は引数セット（集合）内に含まれていることの記述/証明

331: サブセット（部分集合）のマップ（写像）イメージ（像）はサブセット（部分集合）の中に含まれている、もしも、サブセット（部分集合）がサブセット（部分集合）のプリイメージ（前像）内に含まれている場合、そしてその場合に限って

サブセット（部分集合）のマップ（写像）イメージ（像）はサブセット（部分集合）の中に含まれている、もしも、サブセット（部分集合）がサブセット（部分集合）のプリイメージ（前像）内に含まれている場合、そしてその場合に限ってであることの記述/証明

332: ドメイン（定義域）制限されたマップ（写像）下のプリイメージ（前像）は、元のマップ（写像）下のプリイメージ（前像）と制限されたドメイン（定義域）とのインターセクション（共通集合）である

ドメイン（定義域）制限されたマップ（写像）下のプリイメージ（前像）は、元のマップ（写像）下のプリイメージ（前像）と制限されたドメイン（定義域）とのインターセクション（共通集合）であることの記述/証明

333: アジャンクション（付加）トポロジカルスペース（空間）のサブスペース（部分空間）のサブセット（部分集合）はオープンである、もしも、サブセット（部分集合）のプリイメージ（前像）のプロジェクション（射影）たちが条件を満たしてオープンである場合、そしてその場合に限って

アジャンクション（付加）トポロジカルスペース（空間）のサブスペース（部分空間）のサブセット（部分集合）はオープンである、もしも、サブセット（部分集合）のプリイメージ（前像）のプロジェクション（射影）たちが条件を満たしてオープンである場合、そしてその場合に限ってという命題の記述/証明

334: ティーチェ拡張定理の逆

ティーチェ拡張定理の逆の記述/証明

335: アジャンクション（付加）トポロジカルスペース（空間）についてのいくつかのプロパティたち、アタッチング元スペース（空間）へのサブセット（部分空間）からのインクルージョン（封入）がクローズド（閉）エンベディング（埋蔵）である時

アジャンクション（付加）トポロジカルスペース（空間）についてのいくつかのプロパティたち、アタッチング元スペース（空間）へのサブセット（部分空間）からのインクルージョン（封入）がクローズド（閉）エンベディング（埋蔵）である時

336: 有限次元ベクトルスペース（空間）のリニア（線形）イメージ（像）はベクトルスペース（空間）である

有限次元ベクトルスペース（空間）のリニア（線形）イメージ（像）はベクトルスペース（空間）であることの記述/証明

337: %カテゴリー名%アイソモーフィズム（同形写像）

%カテゴリー名%アイソモーフィズム（同形写像）の定義

338: 有限次元ベクトルスペース（空間）からのリニアマップ（線形写像）に対して、あるドメイン（定義域）サブスペース（部分空間）があって、それは、イメージ（像）へ'ベクトルスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィック（同形写像）である

有限次元ベクトルスペース（空間）からのリニアマップ（線形写像）に対して、あるドメイン（定義域）サブスペース（部分空間）があって、それは、イメージ（像）へ'ベクトルスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィック（同形写像）であることの記述/証明

339: リーグループ（群）上で同一ベクトルを代表するカーブたちのC^\infty右アクションとしてのマニフォールド（多様体）上のカーブたちは同一ベクトルを代表する

リーグループ（群）上で同一ベクトルを代表するカーブたちの\(C^\infty\)右アクションとしてのマニフォールド（多様体）上のカーブたちは同一ベクトルを代表することの記述/証明

340: リーグループ（群）のC^\infty右アクションによって導出された、ベクトルたちのパラメータによるファミリーとカーブは、同一ベクトルを代表する、もしも、. . .

リーグループ（群）の\(C^\infty\)右アクションによって導出された、ベクトルたちのパラメータによるファミリーとカーブは、同一ベクトルを代表する、もしも、. . .ことの記述/証明

341: リニア（線形）バイジェクション（全単射）によって関連付けられる有限次元ベクトルスペース（空間）たちは同一次元のものである

リニア（線形）バイジェクション（全単射）によって関連付けられる有限次元ベクトルスペース（空間）たちは同一次元のものであることの記述/証明

342: 複素数たち間の絶対差は追加の複素数との絶対差たち間の差以上である

複素数たち間の絶対差は追加の複素数との絶対差たち間の差以上であることの記述/証明

343: 集合たちのインターセクション（共通集合）のインジェクティブ（単射）マップ（写像）イメージ（像）は集合たちのマップ（写像）イメージ（像）たちのインターセクション（共通集合）である

集合たちのインターセクション（共通集合）のインジェクティブ（単射）マップ（写像）イメージ（像）は集合たちのマップ（写像）イメージ（像）たちのインターセクション（共通集合）であることの記述/証明

344: 有限次元リアル（実）ベクトルスペース（空間）の、コーディネイト（座標）スペース（空間）に基づいて定義されたトポロジーはベーシス（基底）の選択に依存しない

有限次元リアル（実）ベクトルスペース（空間）の、コーディネイト（座標）スペース（空間）に基づいて定義されたトポロジーはベーシス（基底）の選択に依存しないことの記述/証明

345: コーディネイト（座標）トポロジーたちを持つトポロジカルスペース（空間）たち間の'リアル（実）ベクトルスペース（空間）たち-リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）はホメオモーフィック（位相同形写像）である

コーディネイト（座標）トポロジーたちを持つトポロジカルスペース（空間）たち間の'リアル（実）ベクトルスペース（空間）たち-リニア（線形）モーフィズム（射）たち'アイソモーフィズム（同形写像）はホメオモーフィック（位相同形写像）であることの記述/証明

346: ノーマル（正規）トポロジカルスペース（空間）

ノーマル（正規）トポロジカルスペース（空間）の定義

347: サブセット（部分集合）のクロージャー（閉包）

サブセット（部分集合）のクロージャー（閉包）の定義

348: トポロジカルスペース（空間）はノーマル（正規）である、もしも、クローズドセット（閉集合）およびそれを包含オープンセット（開集合）に対して、クローズドセット（閉集合）を包含するオープンセット（開集合）（その〜）がある場合、そしてその場合に限って

トポロジカルスペース（空間）はノーマル（正規）である、もしも、クローズドセット（閉集合）およびそれを包含オープンセット（開集合）に対して、クローズドセット（閉集合）を包含するオープンセット（開集合）（その〜）がある場合、そしてその場合に限ってであることの記述および証明

349: マップ（写像）コンティヌアス（連続）性の、トポロジー上の意味におけるものとコーディネイト（座標）ファンクション（関数）たちに対するノルムの意味におけるものとの同値性

マップ（写像）コンティヌアス（連続）性の、トポロジー上の意味におけるものとコーディネイト（座標）ファンクション（関数）たちに対するノルムの意味におけるものとの同値性の記述/証明

350: ユークリディアントポロジカルスペース（空間）内にネストされたユークリディアントポロジカルスペース（空間）はトポロジカルサブスペース（部分空間）である

ユークリディアントポロジカルスペース（空間）内にネストされたユークリディアントポロジカルスペース（空間）はトポロジカルサブスペース（部分空間）であることの記述/証明

351: トポロジカルサブスペース（部分空間）間マップ（写像）の、ポイントにおけるコンティヌアス（連続）性は、マップ（写像）の、スーパースペースたちのオープンセット（開集合）たちへの拡張のコンティヌアス（連続）性から帰結される

トポロジカルサブスペース（部分空間）間マップ（写像）の、ポイントにおけるコンティヌアス（連続）性は、マップ（写像）の、スーパースペースたちのオープンセット（開集合）たちへの拡張のコンティヌアス（連続）性から帰結されることの記述/証明

352: オープンセット（開集合）たちのコレクションがベーシス（基底）であるための基準

オープンセット（開集合）たちのコレクションがベーシス（基底）であるための基準の記述/証明

353: ユークリディアンノルム付きC^\inftyマニフォールド（多様体）上のオープンセット（開集合）からユークリディアンノルム付きC^\inftyマニフォールド（多様体）へのC^1マップ（写像）はリプシッツ条件をローカルに満たす

ユークリディアンノルム付きC^\inftyマニフォールド（多様体）上のオープンセット（開集合）からユークリディアンノルム付きC^\inftyマニフォールド（多様体）へのC^1マップ（写像）はリプシッツ条件をローカルに満たすことの記述/証明

354: ハイパー長方形のエリア（面積）は、カバーする有限数ハイパー正方形たちのエリア（面積）で任意の精度で近似できる

ハイパー長方形のエリア（面積）は、カバーする有限数ハイパー正方形たちのエリア（面積）で任意の精度で近似できることの記述/証明

355: ユークリディアンメトリックスペース（計量空間）上のエリア（面積）はハイパー正方形たちのみを使って測れる、ハイパー長方形たちの代わりに

ユークリディアンメトリックスペース（計量空間）上のエリア（面積）はハイパー正方形たちのみを使って測れる、ハイパー長方形たちの代わりに、ことの記述/証明

356: メジャー（測度）0サブセット（部分集合）の、ユークリディアンノルム付きトポロジカルスペース（空間）から同次元またはより高次元ユークリディアンノルム付きトポロジカルスペース（空間）へのリプシッツ条件を満たすマップ（写像）イメージ（像）はメジャー（測度）0である

メジャー（測度）0サブセット（部分集合）の、ユークリディアンノルム付きトポロジカルスペース（空間）から同次元またはより高次元ユークリディアンノルム付きトポロジカルスペース（空間）へのリプシッツ条件を満たすマップ（写像）イメージ（像）はメジャー（測度）0であることの記述/証明

357: ユークリディアンノルム付きC^\inftyマニフォールド（多様体）上のコンベックス（凸）オープンセット（開集合）でそのクロージャー（閉包）がバウンデッド（有界）であるものから同次元またはより高次元ユークリディアンノルム付きC^\inftyマニフォールド（多様体）へのポリノミアル（多項式）マップ（写像）下の、メジャー（測度）0サブセット（部分集合）のイメージ（像）はメジャー（測度）0である

ユークリディアンノルム付き\(C^\infty\)マニフォールド（多様体）上のコンベックス（凸）オープンセット（開集合）でそのクロージャー（閉包）がバウンデッド（有界）であるものから同次元またはより高次元ユークリディアンノルム付き\(C^\infty\)マニフォールド（多様体）へのポリノミアル（多項式）マップ（写像）下の、メジャー（測度）0サブセット（部分集合）のイメージ（像）はメジャー（測度）0であることの記述/証明

358: メジャー（測度）0サブセット（部分集合）のオープンセット（開集合　コンプリメント（補集合）はデンス（密）である

メジャー（測度）0サブセット（部分集合）のオープンセット（開集合　コンプリメント（補集合）はデンス（密）であることの記述/証明

359: オープンセット（開集合）マイナスクローズドセット（閉集合）はオープン（開）である

オープンセット（開集合）マイナスクローズドセット（閉集合）はオープン（開）であることの記述/証明

360: トポロジカルスペース（空間）に対して、ベーシス（基底）とサブスペース（部分空間）のインターセクション（共通集合）はサブスペース（部分空間）に対するベーシス（基底）である

トポロジカルスペース（空間）に対して、ベーシス（基底）とサブスペース（部分空間）のインターセクション（共通集合）はサブスペース（部分空間）に対するベーシス（基底）であることの記述/証明

361: サブセット（部分集合）たちの差のクロージャー（閉包）は、必ずしもサブセット（部分集合）たちのクロージャー（閉包）たちの差ではない、しかし、被減サブセット（部分集合）のクロージャー（閉包）に包含されている

サブセット（部分集合）たちの差のクロージャー（閉包）は、必ずしもサブセット（部分集合）たちのクロージャー（閉包）たちの差ではない、しかし、被減サブセット（部分集合）のクロージャー（閉包）に包含されていることの記述/証明

362: コンパクトトポロジカルスペース（空間）は、無限数ポイントたちを持つサブセット（部分集合）のアキュームレーションポイント（集積点）を持つ

コンパクトトポロジカルスペース（空間）は、無限数ポイントたちを持つサブセット（部分集合）のアキュームレーションポイント（集積点）を持つことの記述/証明

363: コンパクトトポロジカルスペース（空間）のクローズド（閉）ディスクリート（離散）サブスペース（部分空間）は有限数ポイントたちのみを持つ

コンパクトトポロジカルスペース（空間）のクローズド（閉）ディスクリート（離散）サブスペース（部分空間）は有限数ポイントたちのみを持つことの記述/証明

364: 有限数オープンセット（開集合）たちシーケンスコネクト（連結）されたオープンセット（開集合）たちペア

有限数オープンセット（開集合）たちシーケンスコネクト（連結）されたオープンセット（開集合）たちペアの定義

365: コネクト（連結）されたトポロジカルスペース（空間）のオープンセット（開集合）たちペアは有限数オープンセット（開集合）たちシーケンスコネクト（連結）されている

コネクト（連結）されたトポロジカルスペース（空間）のオープンセット（開集合）たちペアは有限数オープンセット（開集合）たちシーケンスコネクト（連結）されていることの記述/証明

366: コネクト（連結）されたトポロジカルスペース（空間）のオープンカバーの要素たちペアはカバー要素たちを介して有限数オープンセット（開集合）たちシーケンスコネクト（連結）されている

コネクト（連結）されたトポロジカルスペース（空間）のオープンカバーの要素たちペアはカバー要素たちを介して有限数オープンセット（開集合）たちシーケンスコネクト（連結）されていることの記述/証明

367: レギュラー（正則）トポロジカルスペース（空間）

レギュラー（正則）トポロジカルスペース（空間）の定義

368: コネクト（連結）されたトポロジカルスペース（空間）上でいたる所でローカルにコンスタントであるマップ（写像）はグローバルにコンスタントである

コネクト（連結）されたトポロジカルスペース（空間）上でいたる所でローカルにコンスタントであるマップ（写像）はグローバルにコンスタントであることの記述/証明

369: レギュラー（正則）トポロジカルスペース（空間）に対して、ポイントのネイバーフッド（近傍）はクローズド（閉）なネイバーフッド（近傍）を包含する

レギュラー（正則）トポロジカルスペース（空間）に対して、ポイントのネイバーフッド（近傍）はクローズド（閉）なネイバーフッド（近傍）を包含することの記述/証明

370: アイデンティティ（恒等）マップ（写像）でドメイン（定義域）およびコドメイン（余域）が別のトポロジーたちを持っているものはコンティヌアス（連続）である、もしも、ドメイン（定義域）がコドメイン（余域）より密である場合、そしてその場合に限って

アイデンティティ（恒等）マップ（写像）でドメイン（定義域）およびコドメイン（余域）が別のトポロジーたちを持っているものはコンティヌアス（連続）である、もしも、ドメイン（定義域）がコドメイン（余域）より密である場合、そしてその場合に限ってであることの記述/証明

371: メトリックスペース（計量空間）に対して、2ポイントたちのサブセット（部分集合）からの距離たちの差はポイントたち間の距離に等しいかそれより小さい

メトリックスペース（計量空間）に対して、2ポイントたちのサブセット（部分集合）からの距離たちの差はポイントたち間の距離に等しいかそれより小さいことの記述/証明

372: ダイレクテッドセット（有向集合）

ダイレクテッドセット（有向集合）の定義

373: ダイレクテッド（有向）インデックスセット（集合）によるネット

ダイレクテッド（有向）インデックスセット（集合）によるネットの定義

374: ダイレクテッド（有向）インデックスセット（集合）によるネットのコンバージェンス（収束ポイント）

ダイレクテッド（有向）インデックスセット（集合）によるネットのコンバージェンス（収束ポイント）の定義

375: メトリックスペース（計量空間）に対して、1ポイントサブセット（部分集合）はクローズド（閉）である

メトリックスペース（計量空間）に対して、1ポイントサブセット（部分集合）はクローズド（閉）であることの記述/証明

376: ハウスドルフトポロジカルスペース（空間）に対して、ダイレクテッド（有向）インデックスセット（集合）によるネットは唯1つだけのコンバージェンス（収束ポイント）を持ち得る

ハウスドルフトポロジカルスペース（空間）に対して、ダイレクテッド（有向）インデックスセット（集合）によるネットは唯1つだけのコンバージェンス（収束ポイント）を持ち得ることの記述/証明

377: ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）

ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）の定義

378: ダイレクテッドセット（有向集合）たち間のファイナルマップ（写像）

ダイレクテッドセット（有向集合）たち間のファイナルマップ（写像）の定義

379: ダイレクテッド（有向）インデックスセット（集合）によるネットのサブネット

ダイレクテッド（有向）インデックスセット（集合）によるネットのサブネットの定義

380: ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）はサブネットのコンバージェンス（収束ポイント）である

ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）はサブネットのコンバージェンス（収束ポイント）であることの記述/証明

381: C^\inftyエンベディング（埋め込み）

\(C^\infty\)エンベディング（埋め込み）の定義

382: コンティヌアス（連続）エンベディング（埋め込み）

コンティヌアス（連続）エンベディング（埋め込み）の定義

383: オープン（開）トポロジカルサブスペース（部分空間）上のオープンセット（開集合）はベーススペース（空間）上でオープン（開）である

オープン（開）トポロジカルサブスペース（部分空間）上のオープンセット（開集合）はベーススペース（空間）上でオープン（開）であることの記述/証明

384: クローズド（閉）トポロジカルサブスペース（部分空間）上のクローズドセット（閉集合）はベーススペース（空間）上でクローズド（閉）である

クローズド（閉）トポロジカルサブスペース（部分空間）上のクローズドセット（閉集合）はベーススペース（空間）上でクローズド（閉）であることの記述/証明

385: Writer '.uno:RemoveDirectCharFormats'

カレントビューカーソル地点のダイレクト文字たちフォーマットたちを除去するUNOディスパッチコマンド

386: Writer '.uno:InsertPagebreak'

カレントビューカーソル地点にページブレイクを挿入するUNOディスパッチコマンド

387: トポロジカルスペース（空間）間マップ（写像）はコンティヌアス（連続）である、もしも、ドメイン（定義域）のオープンカバー（開被覆）の各オープンセット（開集合）への、マップ（写像）のドメイン（定義域）リストリクション（制限）がコンティヌアス（連続）である場合

トポロジカルスペース（空間）間マップ（写像）はコンティヌアス（連続）である、もしも、ドメイン（定義域）のオープンカバー（開被覆）の各オープンセット（開集合）への、マップ（写像）のドメイン（定義域）リストリクション（制限）がコンティヌアス（連続）である場合、ことの記述/証明

388: トポロジカルスペース（空間）間マップ（写像）はコンティヌアス（連続）である、もしも、ドメイン（定義域）の有限数クローズドカバー（閉被覆）の各クローズドセット（閉集合）への、マップ（写像）のドメイン（定義域）リストリクション（制限）がコンティヌアス（連続）である場合

トポロジカルスペース（空間）間マップ（写像）はコンティヌアス（連続）である、もしも、ドメイン（定義域）の有限数クローズドカバー（閉被覆）の各クローズドセット（閉集合）への、マップ（写像）のドメイン（定義域）リストリクション（制限）がコンティヌアス（連続）である場合、ことの記述/証明

389: もしも、トポロジカルスペース（空間）間マップ（写像）下のクローズドセット（閉集合）のプリイメージ（前像）がクローズド（閉）である場合、マップ（写像）はコンティヌアス（連続）である

もしも、トポロジカルスペース（空間）間マップ（写像）下のクローズドセット（閉集合）のプリイメージ（前像）がクローズド（閉）である場合、マップ（写像）はコンティヌアス（連続）であることの記述/証明

390: プリイメージ（前像）後のマップ（写像）コンポジション（合成）はアイデンティカル（恒等）である、もしも、引数セット（集合）がマップ（写像）イメージ（像）のサブセット（部分集合）である場合、そしてその場合に限って

プリイメージ（前像）後のマップ（写像）コンポジション（合成）はアイデンティカル（恒等）である、もしも、引数セット（集合）がマップ（写像）イメージ（像）のサブセット（部分集合）である場合、そしてその場合に限って、であることの記述/証明

391: サブセット（部分集合）のマップ（写像）後のプリイメージ（前像）のコンポジション（合成）はアイデンティカル（恒等）である、もしも、マップ（写像）が引数セット（集合）イメージ（像）に関してインジェクティブ（単射）である場合

サブセット（部分集合）のマップ（写像）後のプリイメージ（前像）のコンポジション（合成）はアイデンティカル（恒等）である、もしも、マップ（写像）が引数セット（集合）イメージ（像）に関してインジェクティブ（単射）である場合、ことの記述/証明

392: サブセット（部分集合）のマップ（写像）後のプリイメージ（前像）のコンポジション（合成）はアイデンティカル（恒等）である、もしも、それが引数セット（集合）に包含されている場合、そしてその場合に限って

サブセット（部分集合）のマップ（写像）後のプリイメージ（前像）のコンポジション（合成）はアイデンティカル（恒等）である、もしも、それが引数セット（集合）に包含されている場合、そしてその場合に限って、ことの記述/証明

393: コンティヌアス（連続）マップ（写像）の、ドメイン（定義域）およびコドメイン（余域）についてのリストリクション（制限）はコンティヌアス（連続）である

コンティヌアス（連続）マップ（写像）の、ドメイン（定義域）およびコドメイン（余域）についてのリストリクション（制限）はコンティヌアス（連続）であることの記述/証明

394: クウォシェント（商）マップ（写像）

クウォシェント（商）マップ（写像）の定義

395: コンティヌアス（連続）エンベディング（埋め込み）のユニバーサルプロパティ

コンティヌアス（連続）エンベディング（埋め込み）のユニバーサルプロパティの記述/証明

396: クウォシェント（商）マップ（写像）のユニバーサルプロパティ

クウォシェント（商）マップ（写像）のユニバーサルプロパティの記述/証明

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

バイアス惑星
LibreOfficeまたはOpenOfficeを活用する
Javaプログラミング言語を暴く
C++を暴く
Pythonを暴く
C#を暴く
Gradleを暴く
Gitを暴く
わかりにくい用語や説明をひもとく
定義たちと命題たち
学校数学をより高い視点から
UNOディスパッチコマンドたち
情報テーブル群

2018年4月15日日曜日

0: シリーズ「情報テーブル群」の目次

目次