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 refle
| < Previous Terms | Terms Containing partial equivalence relation | Next Terms > |
| parser parser generator parsing Parsley Partial Differential Equation LANguage | equivalence relation PER | partial evaluation partial function partial key partially ordered set partial ordering |
