|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: adopt one definition?''
by AxelBoldt on 2002-06-07 12:47:16 |
|
| | But shouldn't we make this convention explicit? When I learned topology, compact spaces were still Hausdorff, so the first thing I do when I see the word "compact" is to check the definition used. But in PlanetMath right now, that wouldn't help me, since the compactness entry doesn't explicitly say which definition PlanetMath uses. |
| | [ reply | up | top ] | |
|
|
|
|
|
|
|
