近傍系で定義するなら近傍系論か?