Prelude to Cantor list/e
Fix some bad wording in intro and define "equivalent"