Continuous Map of Kleene Spaces
Let be a pair of Kleene Spaces. A function is a continuous map if for all , if , then . In other words, reflects definability.
Let be a pair of Kleene Spaces. A function is a continuous map if for all , if , then . In other words, reflects definability.