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

Tagged:

Read Also:

  • Partial evaluation

    compiler, algorithm (Or “specialisation”) An optimisation technique where the compiler evaluates some subexpressions at compile-time. For example, pow x 0 = 1 pow x n = if even n then pxn2 * pxn2 else x * pow x (n-1) where pxn2 = pow x (n/2) f x = pow x 5 Since n is known […]

  • Partial-fraction

    noun, Algebra. 1. one of the fractions into which a given fraction can be resolved, the sum of such simpler fractions being equal to the given fraction: Partial fractions of 5/(x2−x) are 5/(x−1) and −5/x. noun 1. (maths) one of a set of fractions into which a more complicated fraction can be resolved



  • Partial function

    A function which is not defined for all arguments of its input type. E.g. f(x) = 1/x if x /= 0. The opposite of a total function. In denotational semantics, a partial function f : D -> C may be represented as a total function ft : D’ -> lift(C) where D’ is a superset […]

  • Partialize

    [pahr-shuh-lahyz] /ˈpɑr ʃəˌlaɪz/ verb (used with object), partialized, partializing. 1. to bias.



Disclaimer: Partial equivalence relation definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.