20 relations: Antisymmetric relation, Binary relation, Bisimulation, Category theory, Disjoint union, Dynamical system, Mathematics, Monotonic function, Order isomorphism, Order theory, Phase space, Range (mathematics), Reflexive relation, Set (mathematics), String operations, Substring, Surjective function, Total order, Transitive relation, Tree (set theory).
Antisymmetric relation
In mathematics, a binary relation R on a set X is anti-symmetric if there is no pair of distinct elements of X each of which is related by R to the other.
New!!: Prefix order and Antisymmetric relation · See more »
Binary relation
In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.
New!!: Prefix order and Binary relation · See more »
Bisimulation
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in the sense that one system simulates the other and vice versa.
New!!: Prefix order and Bisimulation · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Prefix order and Category theory · See more »
Disjoint union
In set theory, the disjoint union (or discriminated union) of a family of sets is a modified union operation that indexes the elements according to which set they originated in.
New!!: Prefix order and Disjoint union · See more »
Dynamical system
In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in a geometrical space.
New!!: Prefix order and Dynamical system · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Prefix order and Mathematics · See more »
Monotonic function
In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order.
New!!: Prefix order and Monotonic function · See more »
Order isomorphism
In the mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets).
New!!: Prefix order and Order isomorphism · See more »
Order theory
Order theory is a branch of mathematics which investigates the intuitive notion of order using binary relations.
New!!: Prefix order and Order theory · See more »
Phase space
In dynamical system theory, a phase space is a space in which all possible states of a system are represented, with each possible state corresponding to one unique point in the phase space.
New!!: Prefix order and Phase space · See more »
Range (mathematics)
In mathematics, and more specifically in naive set theory, the range of a function refers to either the codomain or the image of the function, depending upon usage.
New!!: Prefix order and Range (mathematics) · See more »
Reflexive relation
In mathematics, a binary relation R over a set X is reflexive if every element of X is related to itself.
New!!: Prefix order and Reflexive relation · See more »
Set (mathematics)
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
New!!: Prefix order and Set (mathematics) · See more »
String operations
In computer science, in the area of formal language theory, frequent use is made of a variety of string functions; however, the notation used is different from that used for computer programming, and some commonly used functions in the theoretical realm are rarely used when programming.
New!!: Prefix order and String operations · See more »
Substring
A substring is a contiguous sequence of characters within a string.
New!!: Prefix order and Substring · See more »
Surjective function
In mathematics, a function f from a set X to a set Y is surjective (or onto), or a surjection, if for every element y in the codomain Y of f there is at least one element x in the domain X of f such that f(x).
New!!: Prefix order and Surjective function · See more »
Total order
In mathematics, a linear order, total order, simple order, or (non-strict) ordering is a binary relation on some set X, which is antisymmetric, transitive, and a connex relation.
New!!: Prefix order and Total order · See more »
Transitive relation
In mathematics, a binary relation over a set is transitive if whenever an element is related to an element and is related to an element then is also related to.
New!!: Prefix order and Transitive relation · See more »
Tree (set theory)
In set theory, a tree is a partially ordered set (T, \omega + 1.
New!!: Prefix order and Tree (set theory) · See more »
Redirects here:
Downward total, Prefix ordering.