検索結果- 英語 - 英語 | ディクト

検索結果- 英語 - 英語

検索内容:

Setoids

setoids

noun

plural of setoid

Setoids are mathematical structures used in type theory.

Google翻訳 / DeepL翻訳

意味の詳細を表示する

setoid

noun

(set theory) A set together with an equivalence relation.

The setoid is a mathematical structure used in type theory.

Google翻訳 / DeepL翻訳

意味の詳細を表示する

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★