Set Theory for Gate