3
$\begingroup$

Math amateur here, and new to the site. I have to write a technical specification, and am rather unsure about how to express things mathematically properly.

So I have a set of “entities” of some sort. Let's call it A. It shouldn't matter what the entities are for this question.

I also have a notion of equivalence between the entities in A.

But, for any two entities, it may or may not be possible to tell whether they are equivalent. So, the equivalence relationship is not defined for all pairs of entities.

Now, I need to talk a lot about subsets of A where the equivalence relationship is defined for all members of the subset. (For any a and b in the subset, “a equivalent b” is defined.)

What should I call these subsets? Is there a good term for describing exactly that? So I'm looking for a good term for XXX in this sentence: “If a subset B of A is a XXX (that is, “a equivalent b” is defined for any a and b in B), then…”

  • 0
    @cygri You may call $B$$a$*subsetoid.*2013-03-23

1 Answers 1

1

The notion of a partial equivalence relation $R$ on $A$ ( http://en.wikipedia.org/wiki/Partial_equivalence_relation ) might be what you are looking for. It is a symmetric, transitive relation on $A$. It is like an equivalence relation expect that it is not required to be reflexive, i.e., there may be elements $x \in A$ such that $\neg(x \mathbin{R} x)$. These are the elements for which "equivalence is undefined" in your terminology.

This assumes that whenever $x$ is such that "the equivalence of $x$ and $y$ is undefined" for some $y$, then "the equivalence of $x$ and $y$ is undefined" for all $y$. If this is not the case then you may need something more complicated.

EDIT: I just realized that I didn't really answer the question. I don't know if there is a name for the set $\{x \in A : x \mathbin{R} x\}$. The name "clique" might not be good, because it suggests that all elements in the subset are related to one another.

  • 0
    Arthur is right. In my case the equivalence relationship is reflexive. “Clique” seems like an okay term. I was hoping that there's a more specific term, but that may just not be the case. Thanks anyway for your help Trevor!2012-09-13