##Command to produce the output: "dot -Tpng thisfile > thisfile.png"
digraph Tvs {
"Euclidean" -> "Nuclear\nFréchet"
"Euclidean" -> "Hilbert"
"Hilbert" -> "Reflexive\nBanach"
"Reflexive\nBanach" -> "Banach"
"Banach" -> "Normed"
"Reflexive\nBanach" -> "Reflexive\nFréchet"
"Banach" -> "Fréchet"
"Normed" -> "Metrizable"
"Nuclear\nFréchet" -> "Reflexive\nFréchet"
"Reflexive\nFréchet" -> "Fréchet"
"Fréchet" -> "Metrizable"
"Nuclear\nFréchet" -> "Nuclear\nReflexive"
"Reflexive\nFréchet" -> "Reflexive\nBornological"
"Fréchet" -> "Quasicomplete\nBornological"
"Fréchet" -> "Complete"
"Metrizable" -> "Bornological"
"Reflexive\nBornological" -> "Quasicomplete\nBornological"
"Quasicomplete\nBornological" -> "Sequentially complete\nBornological"
"Sequentially complete\nBornological" -> "Bornological"
"Nuclear\nReflexive" -> "Nuclear\nQuasicomplete\nQuasibarreled"
"Nuclear\nQuasicomplete\nQuasibarreled" -> "Nuclear\nReflexive"
"Reflexive\nBornological" -> "Reflexive"
"Quasicomplete\nBornological" -> "Quasicomplete\nQuasibarreled"
"Sequentially complete\nBornological" -> "Sequentially complete\nQuasibarreled"
"Bornological" -> "Quasibarreled"
"Nuclear\nQuasicomplete\nQuasibarreled" -> "Montel"
"Montel" -> "Reflexive"
"Reflexive" -> "Quasicomplete\nQuasibarreled"
"Quasicomplete\nQuasibarreled" -> "Sequentially complete\nQuasibarreled"
"Sequentially complete\nQuasibarreled" -> "Barreled"
"Barreled" -> "Quasibarreled"
"Nuclear\nQuasicomplete\nQuasibarreled" -> "Nuclear\nQuasicomplete"
"Reflexive" -> "Semireflexive"
"Quasicomplete\nQuasibarreled" -> "Quasicomplete"
"Sequentially complete\nQuasibarreled" -> "Sequentially complete"
"Quasibarreled" -> "Mackey"
"Nuclear\nQuasicomplete" -> "Semireflexive"
"Semireflexive" -> "Quasicomplete"
"Quasicomplete" -> "Sequentially complete"
"Nuclear\nQuasicomplete" -> "Nuclear"
overlap=false
label=""
fontsize=12;
}