Rivas es el distrito número 4 del cantón de Pérez Zeledón, en la provincia de San José, Costa Rica.