1
$\begingroup$

What are functions applied to either side of a relation that maintain the relation called? What are these kinds of processes/functions/operations called? What are the functions that violate the relation called?

Edit : removing the comment about equality relation.

  • 7
    If you have an equivalence relation $\sim$, a function or operator $f$ is said to "be well defined modulo $\sim$" if $x\sim y$ implies $f(x)\sim f(y)$. Equality is a particularly bad example because *every* function or process must respect =.2011-06-12
  • 1
    Please try to make your posts self-contained; the question should be posed in the body, and you should not relay on the title to begin your presentation.2011-06-12

1 Answers 1

3

I think it would be acceptable and within convention to say the function is "relation-preserving" because the relation still holds true under the action of the function, i.e. $x \sim y \implies f(x) \sim f(y) $.

Mathematicians often speak of certain properties or even equations being preserved under maps and transformations, so this choice of term has support.