Basic Properties of Sets

§1 Symbolic logic, Operation of sets: §2 Mapping: §3 Injection, Surjection: §4 Relation: §5 Cardinal of set §6 Cardinal operation §7 Mizar and Set theory / MML TARSKI : XBOOLE_0 : XBOOLE_1

Basic Properties of Sets : BBS

Teacher : Yasunari Shidama / Contact to