Definition:Net


 * Net (Preordered Set)


 * Net (Metric Space)