Tychonoff's separation axiom
                        
                            GPTKB entity
                        
                    
                Statements (20)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:separation_axiom
                                        
                                         gptkb:topology  | 
                            
| gptkbp:alsoKnownAs | 
                                    
                                        
                                            
                                            Tychonoff property
                                        
                                        
                                         Tychonoff separation axiom completely regular Hausdorff axiom  | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            topological spaces
                                        
                                        
                                         | 
                            
| gptkbp:category | 
                                    
                                        
                                            gptkb:general_topology
                                        
                                         | 
                            
| gptkbp:defines | 
                                    
                                        
                                            
                                            A topological space is Tychonoff if it is both completely regular and Hausdorff.
                                        
                                        
                                         | 
                            
| gptkbp:implies | 
                                    
                                        
                                            
                                            Hausdorff space
                                        
                                        
                                         normal space completely regular space regular Hausdorff space  | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Andrey_Tychonoff
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:Tychonoff_theorem
                                        
                                         gptkb:Urysohn's_lemma  | 
                            
| gptkbp:symbol | 
                                    
                                        
                                            
                                            T_{3.5}
                                        
                                        
                                         T_{ych}  | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Soviet_school_of_topology
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Tychonoff's separation axiom
                                        
                                        
                                         |