User:Gregbard/Sandbox/Relations

Logical relations

 * Symmetric relation
 * Asymmetric relation
 * Nonsymmetric relation
 * Antisymmetric relation
 * Transitive relation
 * Nontransitive relation
 * Intransitive relation
 * Antitransitive relation
 * Quasitransitive
 * Reflexive relation
 * Irreflexive relation
 * Nonreflexive relation
 * Partimreflexive
 * Antireflexive relation
 * Totally reflexive relation
 * Surjective relation
 * Extendability
 * Injective relation
 * Bijective relation
 * Equivalence
 * Order
 * Weak order
 * Partial order
 * Strict order
 * Total order
 * Strict total order
 * Bichotomous relation
 * Involutive relation
 * Functional relation
 * Partial function
 * Trichotomous relation
 * Idempotent relation
 * Total relation
 * Serial relation
 * Heterogeneous relation
 * Homogeneous relation
 * Contact relation
 * Directed relation
 * Diamond relation
 * Amalgamation
 * Weakly directed relation
 * Directly confluent relation
 * Regular relation
 * Normalizing relation
 * Consistent relation
 * Definite relation
 * Dense relation
 * Weakly dense relation
 * Determinant relation
 * Continuous relation
 * Terminating relation
 * Convergent relation
 * Orthogonal relation
 * Rooted relation
 * Transitively connected relation
 * Deterministic relation
 * Onto relation
 * Into relation
 * One-to-one relation
 * Euclidean relation
 * Cyclical relation
 * Weakly connected relation


 * Euclidean relation
 * Connex relation


 * order theory
 * preorder
 * strict weak ordering
 * directed set
 * equivalence relation
 * graded poset
 * ordered group
 * causal set
 * poset topology
 * antimatroid