Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Given a universe $U$ and two subsets $S$ and $T$ (also, both members of $U$), what is the name given to denote the set of all binary relations in $U$ where the ordered pair $(S,T)$ is a member?

The concept I'm trying to describe is similar to $Hom(S,T)$ in a category of sets, but where as $Hom(S,T)$ is a category of all morphisms from $S$ to $T$, the concept I am targeting is: (1) limited in scope to sets; and (2) looking for all the morphisms for which $(S,T)$ are associated instead of for the morphisms from $S$ to $T$.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.