Tree definition typo #420
Description
The most convenient way to report a typo should reference the file and line number where the typo occurs:
- Find the file in the content tree: https://github.com/OpenLogicProject/OpenLogic/tree/master/content
- Click on the line number; then on the menu indicated by three horizontal dots
- Select "Copy permalink" and paste that link below.
Alternatively describe the location of the typo (page #, "after Theorem 5.1", etc., and mention which PDF you are referencing)
Typo location:
Definition 2.30 in section 2.7
What is the typo:
The variable z isn't meaningful here.
Definition 2.30 (Tree). A tree is a pair T= ⟨A, ≤⟩such that A is a set and ≤
is a partial order on A with a unique minimal element r ∈A (called the root)
such that for all x ∈A, the set {y : y ≤z}is well-ordered by ≤.
Proposed correction:
Replace "z" with "x"