Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

partial equivalence relation

You are here: irt.org | FOLDOC | partial equivalence relation

(PER) A relation R on a set S where R is symmetric (x R y => y R x) and transitive (x R y R z => x R z) and where there may exist elements in S for which the relation is not defined. A PER is an equivalence relation on the subset for which it is defined, i.e. it is also reflexive (x R x).

Nearby terms: parsing « Parsley « Partial Differential Equation LANguage « partial equivalence relation » partial evaluation » partial function » partial key

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb