High Quality Content by WIKIPEDIA articles! In mathematics, a partial equivalence relation (often abbreviated as PER) R on a set X is a relation that is symmetric and transitive. PERs are therefore used mainly in computer science, type theory and constructive mathematics, particularly to define setoids, sometimes called partial setoids. The action of forming one from a type and a PER is analogous to the operations of subset and quotient in classical set-theoretic mathematics.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.