EDB — 25Q

Exercises

1. [25Q]Prerequisites:[01R]↺↻,[224]↺↻.If \(A\) is a set where \(∈\) is transitive, we define

   \[ x≤ y ≐ x∈ y∨ x=y \]

   prove that \(x≤ y\) is a (possibly partial) order relation in \(A\).

   Solution 1

   [25S]↺↻