検索結果- 英語 - 英語

検索内容:

setoid

名詞

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

日本語の意味

同値関係を持つ集合。集合に同値関係を付与したもの。

When defining quotient structures, it's useful to start with a setoid before forming equivalence classes.

商構造を定義する際、同値類を作る前に同値関係を備えた集合から始めると便利だ。

名詞

活用形複数形

plural of setoid

日本語の意味

「setoid」の複数形

In type theory, setoids are often used to model quotients when native quotient types are unavailable.

型理論では、ネイティブな商型が利用できない場合に、同値関係を持つ集合が商を表現するためによく用いられます。

Webで検索する