- irreflexivity
- ir·reflexivity
English syllables. 2014.
irreflexivity
Look at other dictionaries:
irreflexivity — noun see irreflexive … Useful english dictionary
Strict weak ordering — The 13 possible strict weak orderings on a set of three elements {a, b, c}. The only partially ordered sets are coloured, while totally ordered ones are in black. Two orderings are shown as connected by an edge if they differ by a single… … Wikipedia
Antisymmetric relation — In mathematics, a binary relation R on a set X is antisymmetric if, for all a and b in X , if a is R to b and b is R to a , then a = b .In mathematical notation, this is::forall a, b in X, a R b and b R a ; Rightarrow ; a = bor equally, :forall a … Wikipedia
Partially ordered set — The Hasse diagram of the set of all subsets of a three element set {x, y, z}, ordered by inclusion. In mathematics, especially order theory, a partially ordered set (or poset) formalizes and generalizes the intuitive concept of an ordering,… … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Transitive relation — In mathematics, a binary relation R over a set X is transitive if whenever an element a is related to an element b , and b is in turn related to an element c , then a is also related to c . Transitivity is a key property of both partial order… … Wikipedia
Happened-before — The happened before relation (denoted: o) is a means of ordering events based on the causal relationship of two events in asynchronous distributed systems. It was formulated by Leslie Lamport.The happened before relation is formally defined as: * … Wikipedia
irreflexive — irreflexiveness, irreflexivity, n. /ir i flek siv/, adj. not reflexive. [1885 90; IR 2 + REFLEXIVE] * * * … Universalium
