4 Matching Annotations
  1. Sep 2020
    1. Define the relation ⪯⪯\preceq on ZZ\mathbb{Z} according to

      Continue from this.

    2. A partially ordered set (or poset) is a set taken together with a partial order on it. Formally, a partially ordered set is defined as an ordered pair P=(X,<=), where X is called the ground set of P and <= is the partial order of P.

      Source: mathworld.wolfram.com

    3. Z∗

      Z - {0}

    4. antisymmetric

      (a, b) belongs to R, (b, a) does not unless 1 = b.