Tπ space

1. REDIRECT Tychonoff space

{{R from systematic name}}