Information om | Engelska ordet IRREFLEXIVE

Exempel på hur man kan använda IRREFLEXIVE i en mening

• Like all strict partial orders, the happened-before relation is transitive, irreflexive (and vacuously, asymmetric), i.
• Therefore—assuming the axiom of choice—the "successor" relation we originally defined for the loop is well-founded on the state space , since it is strict (irreflexive) and contained in the "iterate" relation.
• If a relation is reflexive, irreflexive, symmetric, antisymmetric, asymmetric, transitive, total, trichotomous, a partial order, total order, strict weak order, total preorder (weak order), or an equivalence relation, then so too are its restrictions.

Förberedelsen av sidan tog: 107,52 ms.