EDB — 24M

Exercises

1. [24M]Prerequisites:[01R]↺↻,[24V]↺↻.Prove that \(x∈ S(x)\) and \(x\varsubsetneq S(x)\).

   Solution 1

   [24N]↺↻