Set Theory With Applications