User:Lord Farin/Sandbox/Nets

Considerations
Basically the confusion over nets boils down to requiring a Definition:Directed Ordering or a Definition:Directed Preordering.

Since Moore-Smith uses the latter, it makes sense to have Definition:Moore-Smith Sequence as a mapping from a directed preorder.

It furthermore makes sense to be completely unambiguous and have Definition:Net be a disambiguation.

It then remains to give a precise name to the directed order variant. This is however not common so we need to be creative.

Since Kelley apparently coined the name "net" and meant the preorder version we cannot just take that for the directed order variant.

All things considered, the proposal is:


 * Definition:Directed Set as a disambiguation
 * to have Definition:Directed Ordering and Definition:Directed Preordering resp. "-ed Set"
 * Definition:Net as a disambiguation
 * to have Definition:Ordered Net and Definition:Preordered Net with the latter a redirect to Definition:Moore-Smith Sequence.