Por ejemplo, el teorema de Kuratowski establece que: