Anagrammer & Oplysninger om | engelsk ord SETOIDS

Eksempler på brug af SETOIDS i en sætning

• 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).

Sideforberedelse tog: 150,20 ms.