# Setoid

On this page:

## Definition of the noun Setoid

What does Setoid mean as a name of something?

**noun**

- [
*set theory*] A set together with an equivalence relation.

## Explanation

**Setoid**: In mathematics, a setoid is a set equipped with an equivalence relation.

## Printed books with definitions for Setoid

Click on a title to look inside that book (if available):

### Proof, Language, and Interaction (2000)

Essays in Honour of Robin Milner by Gordon Plotkin, Robin Milner

Setoids are triples composed of a Type S, a relation R over S, and a proof that R
is an equivalence relation over S. Thus * a Setoid is a set considered as the
quotient of a Type by a congruence*. Setoids were first investigated by M.
Hofmann in ...

### Types for Proofs and Programs (2003)

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers by Herman Geuvers, Freek Wiedijk

* A setoid is a pair A/=A, where A is a set and = A an equivalence relation on that
set*. Given a propositional function A : (A )Prop, we may construct a ⋆ http://www.
math.su.se/ ̃jesper/ H. Geuvers and F. Wiedijk (Eds.): TYPES 2002, LNCS 2646, ...

### Logic of Computation (2012)

by Helmut Schwichtenberg

Setoids are triples composed of a Type S, a relation R over S, and a proof that R
is an equivalence relation over S. Thus * a Setoid is a set considered as the
quotient of a Type by a congruence*. Setoids were first investigated by M.
Hofmann in ...

## Online dictionaries and encyclopedias with entries for Setoid

Click on a label to prioritize search results according to that topic:

## Video about Setoid

**Setoid Meaning**

Video shows what setoid means. A set together with an equivalence relation.. Setoid Meaning. How to pronounce, definition audio dictionary. How to say setoid.

## Scrabble value of S_{1}E_{1}T_{1}O_{1}I_{1}D_{2}

The value of this 6-letter word is 7 points, but it's not an accepted word in the Official Scrabble Players Dictionary.

Couldn't select: Got error 28 from storage engine