Set Abstraction

({|} x ph) is the set of all numbers for which φ is true. For example, (=_ ({|} x (/\ (<= (3) x) (<= x (7)))) (u. (u. (u. (u. ({} (3)) ({} (4))) ({} (5))) ({} (6))) ({} (7)))).

Set Theory Overview

Login to edit