El complemento de cualquier disco cerrado es un disco abierto: precisamente la corona equivalente de la forma formula_25.