Tag Archives: Scott

Ejemplos de conjuntos abiertos con la topología de Scott

Sea un cpo (complete partial ordering). Entonces: es abierto con la topología de Scott no necesariamente es abierto Demostración. Recordar que un conjunto es abierto con la topología de Scott sii: con dirigido Para el ítem 1.: Sean y . … Continue reading

Posted in Lambda | Tagged , , | Leave a comment