Anagrammen & Informatie over | Engels woord SETOIDS

Voorbeelden van het gebruik van SETOIDS in een zin

• Type-theoretical foundations of mathematics are generally not extensional in this sense, and setoids are commonly used to maintain a difference between intensional equality and a more general equivalence relation (which generally has poor constructibility or decidability properties).
• In contrast, setoids may be used when a difference between identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality (the equivalence relation, or the equality on the quotient set).

Paginavoorbereiding duurde: 154,94 ms.