Definition:Painleve-Kuratowski Convergence