580. § 17. Множини та підмножини