Tubectomy or tubal ligation