安達さんいますかー？

近傍系の定義なんて書いても安達さんわかるはずないですから、まずは集合の集合を安達さんは認めるかどうか教えてくださいねー