最終更新日：2025/11/28
Researchers constructed the cointersection of two families of behavioural equivalences to capture the family that factors through each member of the second family and through which any morphism factoring through the second family must also factor.
正解を見る
Researchers constructed the cointersection of two families of behavioural equivalences to capture the family that factors through each member of the second family and through which any morphism factoring through the second family must also factor.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
研究者たちは、第二に指定された振る舞い同値族の各要素をすべて通して分解され、かつその第二の族を通して分解する任意の射がその要素を通っても分解されるような振る舞い同値の族を構成して、関連する抽象化を捉えた。
