Definition:Net


 * Net (Preordered Set)
 * Net (Metric Space)