空間 "x" の開被覆が"局所有限"であるとは、空間の全ての点が被覆の有限個の集合としか交わらない近傍を持つということである。