List of properties in alphabetical order #229
Description
(copied from a side discussion originally part of pi-base/data#1442)
@pzjp wrote:
I think the list of properties would look better in the alphabetic order. I know that searching by name (alias) is enough to find what you are looking for (standard use of the base) but when you browse it out of undirected curiosity, it looks very random.
@prabau wrote:
It's not entirely random. Some related properties are often grouped together, especially at the beginning. But alphabetical order could be added as an optional setting? (really low priority I would say)
@pzjp wrote:
The fact that it is not entirely random makes it even worse. It starts with a neat list of numbered separation axioms... missing
I understand that since that the list was not assembled "at once" it has to look this way. On the other hand, designing an elegant order of properties seems difficult on its own (and very debatable), even if someone knew them all.
Theoretically we could define some groups of properties (e.g. separation axioms, connectedness-related, compactness related etc.) but this seems even more ambitious that allowing alphabetical order. And it is not essential for the purpose of the base, after all.