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 transclusion of ordering/preordering
 * to have Definition:Directed Ordering and Definition:Directed Preordering resp. "-ed Set"
 * Definition:Net as a disambiguation (probably Definition:Net (Order Theory) because there are more things called "net") of ordering/preordering
 * to have Definition:Order Net and Definition:Preorder Net with the latter a redirect to Definition:Moore-Smith Sequence.

What do we have now

 * Definition:Directed Set
 * Definition:Directed Subset
 * Definition:Directed Ordering


 * Definition:Moore-Smith Sequence
 * Definition:Net (Set Theory)
 * Definition:Net (Preordered Set)


 * Definition:Convergent Net
 * Definition:Generalized Sum


 * Categories for the above