User talk:Mangojuice/relation (mathematics)

This is a list of what links to Relation (mathematics) (from the main namespace), what the link actually shows up as (if not "relation" or "relations"), and whether its use in context refers to binary relations or general n-ary relations. I'm just doing the first 50.


 * Absolute magnitude ("relates") binary -- specifically in the sense of an equation
 * Binary relation ("k-ary relation") general type
 * Naive set theory no context: could be general or non-general.
 * Cartesian product unclear: under "See also" -- binary relation listed separately.
 * Charles Peirce ("triadic") -- refers specifically to the general case
 * Isomorphism class ("mathematical relations") -- binary; "operations" is listed separately.
 * Relationship -- binary (disambiguation page).
 * Relational model -- general.
 * Set ("relationship") -- binary, refers specifically to set inclusion.
 * Topology glossary -- binary, specifically with certain properties (under "Proximity space")
 * Collatz conjecture -- neither, actually: used in the sense of recurrence relation
 * Relation -- very misleading; disambiguation page. Mentions only the binary type of relation, then lists "See relation (mathematics), binary relation (of set theory and logic) and relational algebra.  Makes it look like binary relation is more specific to set theory and logic, while relation (mathematics) is the normal first place to look; the opposite is true.
 * Universal algebra -- binary, (context: "having operations only (i.e., no relations)")
 * Domain -- general type
 * Data model -- unclear, probably binary (conext: "all data is represented by mathematical relations (or to be precise, a slightly generalized version thereof)
 * Graph of a function -- general type. Note: this article actually talks about the equate w/graph or not issue.
 * Tuple -- general. Appears under "See also," but as this is about tuples, not pairs, must assume general case.
 * Ideal class group -- binary, specifically an equivalence relation.
 * Predicate calculus -- general.
 * Predicate -- possibly general, though not totally clear. (context: "In mathematics, a predicate is a relation.")
 * Harry M. Woodward ("mathematical relation") -- binary, used in the sense of an equation.
 * Total -- binary, refers to "total relations." AFAIK this doesn't have an n-ary equivalent that anyone talks about.
 * Mathematical relationship -- general, unclear. Notes that "mathematical relationship," in science, refers to an equation.
 * Well-defined -- general? almost context-less.
 * Kinship ("mathematically related") -- binary.
 * Vertical translation ("related") -- neither, used in the plain sense of "related".
 * Operational semantics -- binary.
 * Ultraproduct - binary.
 * List of mathematics articles (P-R) -- no context, just a list.
 * Universe (mathematics) -- general.
 * Relation (math) -- neither, redirect page.
 * Non-monotonic logic -- can't tell: used in the sense of a consequence relation. general?
 * List of basic discrete mathematics topics ("Mathematical relation") -- under "Mathematical relations". Binary relation is listed first; still, since the link is the same as the heading, this may appear to be the main article.. but relation (mathematics) is not very basic.
 * Cayley graph -- binary (in the sense of equivalence relation).
 * Many-one reduction -- binary
 * Birational geometry -- binary
 * State transition system -- binary. Later links to binary relation, referring to the same concept.
 * Simulation preorder -- binary. Later links to binary relation and also mathematical relation as the same concept.
 * Bisimulation -- general. Context: "a bisimulation relation is a binary relation ..." -- inherently takes binary relation as a type of relation.
 * Binary predicate -- general, specifically 3-ary.
 * Glossary of order theory -- binary, many links to relation, relation (mathematics), and binary relation
 * Correspondence -- binary
 * Hecke operator -- binary, in the sense of correspondence.