|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Correction to 'uniform space'
|
clarify by mps
Correction id: 11138
Filed on: 2006-12-23 19:03:41
Status: Accepted on 2007-02-03 21:38:11
Type: Meta/Minor
Correction text:
Please clarify that axiom 3 requires that each entourage be
the graph of a reflexive relation *on X*. This can be done with
either of the following wordings, if you like either one:
1. Every set is the graph of a reflexive relation on $X$ (i.e., contains the diagonal).
2. Every set is the graph of a reflexive relation (i.e., contains the diagonal of $X$).
Thanks. |
Comment from object owner mps:
|
|
|
|
|
|
|
|
|
|
