initial topology

coarsest topology making certain functions continuous

Categories: