diff --git a/trees/dt/dt-004I.tree b/trees/dt/dt-004I.tree index 54b6ef7..5e7393f 100644 --- a/trees/dt/dt-004I.tree +++ b/trees/dt/dt-004I.tree @@ -1,5 +1,6 @@ \import{dt-macros} \taxon{Theorem} +\title{Closure of Scott domains} \author{liamoc} \p{[Scott domains](dt-004G) are closed under all our [cpo](dt-001D) constructions, including [sums](dt-0031) #{+}, [products](dt-0021) #{\times}, [continuous functions](dt-002L) #{\contto}, [smash sums](dt-003H) #{\oplus}, [smash products](dt-003G) #{\otimes} and [strict functions](dt-003F) #{\strictto}. } \ No newline at end of file