When defining quotient structures, it's useful to start with a setoid before forming equivalence classes.
商構造を定義する際、同値類を作る前に同値関係を備えた集合から始めると便利だ。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
