本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261019-r02-neighborhood-foundations · 2026-10-13 · 100 題
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[0],[0,1],[0,1,2],[0,1,2,3]],"x":0,"candidate":[0,1]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 0, 是, [0, 1], [[0], [0, 1]], 是)
第二批擴展核對=(4, 0, 是, [0, 1], [[0], [0, 1]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[1],[0,1],[0,1,2],[0,1,2,3]],"x":1,"candidate":[2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 1, 是, [2], [], 否)
第二批擴展核對=(4, 1, 是, [2], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[2],[0,2],[0,1,2],[0,1,2,3]],"x":2,"candidate":[0,2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 2, 是, [0, 2], [[2], [0, 2]], 是)
第二批擴展核對=(4, 2, 是, [0, 2], [[2], [0, 2]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[3],[0,3],[0,1,3],[0,1,2,3]],"x":3,"candidate":[1,2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 3, 是, [1, 2], [], 否)
第二批擴展核對=(4, 3, 是, [1, 2], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[0],[0,2],[0,1,2],[0,1,2,3]],"x":-1,"candidate":[0,1,2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, -1, 否, [0, 1, 2], 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0, 1, 2], 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[1],[1,2],[0,1,2],[0,1,2,3]],"x":1,"candidate":[3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 1, 是, [3], [], 否)
第二批擴展核對=(4, 1, 是, [3], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[2],[1,2],[0,1,2],[0,1,2,3]],"x":2,"candidate":[0,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 2, 是, [0, 3], [], 否)
第二批擴展核對=(4, 2, 是, [0, 3], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[3],[1,3],[0,1,3],[0,1,2,3]],"x":3,"candidate":[1,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 3, 是, [1, 3], [[3], [1, 3]], 是)
第二批擴展核對=(4, 3, 是, [1, 3], [[3], [1, 3]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[0],[0,3],[0,1,3],[0,1,2,3]],"x":0,"candidate":[0,1,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 0, 是, [0, 1, 3], [[0], [0, 3], [0, 1, 3]], 是)
第二批擴展核對=(4, 0, 是, [0, 1, 3], [[0], [0, 3], [0, 1, 3]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[1],[1,3],[0,1,3],[0,1,2,3]],"x":-1,"candidate":[2,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, -1, 否, [2, 3], 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [2, 3], 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[2],[2,3],[0,2,3],[0,1,2,3]],"x":2,"candidate":[0,2,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 2, 是, [0, 2, 3], [[2], [2, 3], [0, 2, 3]], 是)
第二批擴展核對=(4, 2, 是, [0, 2, 3], [[2], [2, 3], [0, 2, 3]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[3],[2,3],[0,2,3],[0,1,2,3]],"x":3,"candidate":[1,2,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 3, 是, [1, 2, 3], [[3], [2, 3]], 是)
第二批擴展核對=(4, 3, 是, [1, 2, 3], [[3], [2, 3]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[0],[0,1],[0,1,3],[0,1,2,3]],"x":0,"candidate":[0,1,2,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 0, 是, [0, 1, 2, 3], [[0], [0, 1], [0, 1, 3], [0, 1, 2, 3]], 是)
第二批擴展核對=(4, 0, 是, [0, 1, 2, 3], [[0], [0, 1], [0, 1, 3], [0, 1, 2, 3]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[1],[0,1],[0,1,3],[0,1,2,3]],"x":1,"candidate":[]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 1, 是, [], [], 否)
第二批擴展核對=(4, 1, 是, [], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[2],[0,2],[0,2,3],[0,1,2,3]],"x":-1,"candidate":[0]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, -1, 否, [0], 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0], 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[3],[0,3],[0,2,3],[0,1,2,3]],"x":3,"candidate":[1]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 3, 是, [1], [], 否)
第二批擴展核對=(4, 3, 是, [1], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[0],[0,2],[0,2,3],[0,1,2,3]],"x":0,"candidate":[0,1]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 0, 是, [0, 1], [[0]], 是)
第二批擴展核對=(4, 0, 是, [0, 1], [[0]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[1],[1,2],[1,2,3],[0,1,2,3]],"x":1,"candidate":[2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 1, 是, [2], [], 否)
第二批擴展核對=(4, 1, 是, [2], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[2],[1,2],[1,2,3],[0,1,2,3]],"x":2,"candidate":[0,2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 2, 是, [0, 2], [[2]], 是)
第二批擴展核對=(4, 2, 是, [0, 2], [[2]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[3],[1,3],[1,2,3],[0,1,2,3]],"x":-1,"candidate":[1,2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, -1, 否, [1, 2], 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [1, 2], 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[0],[0,3],[0,2,3],[0,1,2,3]],"x":0,"candidate":[0,1,2]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 0, 是, [0, 1, 2], [[0]], 是)
第二批擴展核對=(4, 0, 是, [0, 1, 2], [[0]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[1],[1,3],[1,2,3],[0,1,2,3]],"x":1,"candidate":[3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 1, 是, [3], [], 否)
第二批擴展核對=(4, 1, 是, [3], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[2],[2,3],[1,2,3],[0,1,2,3]],"x":2,"candidate":[0,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 2, 是, [0, 3], [], 否)
第二批擴展核對=(4, 2, 是, [0, 3], [], 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":4,"opens":[[],[3],[2,3],[1,2,3],[0,1,2,3]],"x":3,"candidate":[1,3]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(4, 3, 是, [1, 3], [[3]], 是)
第二批擴展核對=(4, 3, 是, [1, 3], [[3]], 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-witness；資料={"n":3,"opens":[[],[0],[0,1],[0,1,2]],"x":-1,"candidate":[0,1]}。請依 [n,x,point_qualified,candidate,open_witnesses_or_不求值,neighborhood_or_不求值] 欄序回答。
(3, -1, 否, [0, 1], 不求值, 不求值)
第二批擴展核對=(3, -1, 否, [0, 1], 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-witness · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[0],[0,1],[0,1,2],[0,1,2,3]],"x":0,"candidate":[0,1]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 0, 是, [0, 1], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0, 1], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[1],[0,1],[0,1,2],[0,1,2,3]],"x":1,"candidate":[2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 1, 是, [2], 否, 否, 否)
第二批擴展核對=(4, 1, 是, [2], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[2],[0,2],[0,1,2],[0,1,2,3]],"x":2,"candidate":[0,2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 2, 是, [0, 2], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [0, 2], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[3],[0,3],[0,1,3],[0,1,2,3]],"x":3,"candidate":[1,2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 3, 是, [1, 2], 否, 否, 否)
第二批擴展核對=(4, 3, 是, [1, 2], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[0],[0,2],[0,1,2],[0,1,2,3]],"x":-1,"candidate":[0,1,2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, -1, 否, [0, 1, 2], 不求值, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0, 1, 2], 不求值, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[1],[1,2],[0,1,2],[0,1,2,3]],"x":1,"candidate":[3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 1, 是, [3], 否, 否, 否)
第二批擴展核對=(4, 1, 是, [3], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[2],[1,2],[0,1,2],[0,1,2,3]],"x":2,"candidate":[0,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 2, 是, [0, 3], 否, 否, 否)
第二批擴展核對=(4, 2, 是, [0, 3], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[3],[1,3],[0,1,3],[0,1,2,3]],"x":3,"candidate":[1,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 3, 是, [1, 3], 是, 是, 是)
第二批擴展核對=(4, 3, 是, [1, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[0],[0,3],[0,1,3],[0,1,2,3]],"x":0,"candidate":[0,1,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 0, 是, [0, 1, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0, 1, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[1],[1,3],[0,1,3],[0,1,2,3]],"x":-1,"candidate":[2,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, -1, 否, [2, 3], 不求值, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [2, 3], 不求值, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[2],[2,3],[0,2,3],[0,1,2,3]],"x":2,"candidate":[0,2,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 2, 是, [0, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [0, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[3],[2,3],[0,2,3],[0,1,2,3]],"x":3,"candidate":[1,2,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 3, 是, [1, 2, 3], 是, 否, 是)
第二批擴展核對=(4, 3, 是, [1, 2, 3], 是, 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[0],[0,1],[0,1,3],[0,1,2,3]],"x":0,"candidate":[0,1,2,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 0, 是, [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[1],[0,1],[0,1,3],[0,1,2,3]],"x":1,"candidate":[]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 1, 是, [], 否, 是, 否)
第二批擴展核對=(4, 1, 是, [], 否, 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[2],[0,2],[0,2,3],[0,1,2,3]],"x":-1,"candidate":[0]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, -1, 否, [0], 不求值, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0], 不求值, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[3],[0,3],[0,2,3],[0,1,2,3]],"x":3,"candidate":[1]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 3, 是, [1], 否, 否, 否)
第二批擴展核對=(4, 3, 是, [1], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[0],[0,2],[0,2,3],[0,1,2,3]],"x":0,"candidate":[0,1]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 0, 是, [0, 1], 是, 否, 是)
第二批擴展核對=(4, 0, 是, [0, 1], 是, 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[1],[1,2],[1,2,3],[0,1,2,3]],"x":1,"candidate":[2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 1, 是, [2], 否, 否, 否)
第二批擴展核對=(4, 1, 是, [2], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[2],[1,2],[1,2,3],[0,1,2,3]],"x":2,"candidate":[0,2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 2, 是, [0, 2], 是, 否, 是)
第二批擴展核對=(4, 2, 是, [0, 2], 是, 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[3],[1,3],[1,2,3],[0,1,2,3]],"x":-1,"candidate":[1,2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, -1, 否, [1, 2], 不求值, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [1, 2], 不求值, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[0],[0,3],[0,2,3],[0,1,2,3]],"x":0,"candidate":[0,1,2]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 0, 是, [0, 1, 2], 是, 否, 是)
第二批擴展核對=(4, 0, 是, [0, 1, 2], 是, 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[1],[1,3],[1,2,3],[0,1,2,3]],"x":1,"candidate":[3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 1, 是, [3], 否, 否, 否)
第二批擴展核對=(4, 1, 是, [3], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[2],[2,3],[1,2,3],[0,1,2,3]],"x":2,"candidate":[0,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 2, 是, [0, 3], 否, 否, 否)
第二批擴展核對=(4, 2, 是, [0, 3], 否, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":4,"opens":[[],[3],[2,3],[1,2,3],[0,1,2,3]],"x":3,"candidate":[1,3]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(4, 3, 是, [1, 3], 是, 否, 是)
第二批擴展核對=(4, 3, 是, [1, 3], 是, 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-qualification；資料={"n":3,"opens":[[],[0],[0,1],[0,1,2]],"x":-1,"candidate":[0,1]}。請依 [n,x,point_qualified,candidate,x_in_candidate,candidate_open,neighborhood] 欄序回答。
(3, -1, 否, [0, 1], 不求值, 不求值, 不求值)
第二批擴展核對=(3, -1, 否, [0, 1], 不求值, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-qualification · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[0],[0,1],[0,1,2],[0,1,2,3]],"x":0,"small":[0],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[1],[0,1],[0,1,2],[0,1,2,3]],"x":1,"small":[1],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[2],[0,2],[0,1,2],[0,1,2,3]],"x":2,"small":[2],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[3],[0,3],[0,1,3],[0,1,2,3]],"x":3,"small":[3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[0],[0,2],[0,1,2],[0,1,2,3]],"x":-1,"small":[0],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, -1, 否, [0], [0, 1, 2, 3], 是, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0], [0, 1, 2, 3], 是, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[1],[1,2],[0,1,2],[0,1,2,3]],"x":1,"small":[1],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[2],[1,2],[0,1,2],[0,1,2,3]],"x":2,"small":[2],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[3],[1,3],[0,1,3],[0,1,2,3]],"x":3,"small":[3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[0],[0,3],[0,1,3],[0,1,2,3]],"x":0,"small":[0],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[1],[1,3],[0,1,3],[0,1,2,3]],"x":-1,"small":[0,1,3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, -1, 否, [0, 1, 3], [0, 1, 2, 3], 是, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0, 1, 3], [0, 1, 2, 3], 是, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[2],[2,3],[0,2,3],[0,1,2,3]],"x":2,"small":[2],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[3],[2,3],[0,2,3],[0,1,2,3]],"x":3,"small":[3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[0],[0,1],[0,1,3],[0,1,2,3]],"x":0,"small":[0],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[1],[0,1],[0,1,3],[0,1,2,3]],"x":1,"small":[1],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[2],[0,2],[0,2,3],[0,1,2,3]],"x":-1,"small":[0,2],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, -1, 否, [0, 2], [0, 1, 2, 3], 是, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0, 2], [0, 1, 2, 3], 是, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[3],[0,3],[0,2,3],[0,1,2,3]],"x":3,"small":[3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[0],[0,2],[0,2,3],[0,1,2,3]],"x":0,"small":[0],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[1],[1,2],[1,2,3],[0,1,2,3]],"x":1,"small":[1],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[2],[1,2],[1,2,3],[0,1,2,3]],"x":2,"small":[2],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[3],[1,3],[1,2,3],[0,1,2,3]],"x":-1,"small":[0,1,2,3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, -1, 否, [0, 1, 2, 3], [0, 1, 2, 3], 是, 不求值, 不求值)
第二批擴展核對=(4, -1, 否, [0, 1, 2, 3], [0, 1, 2, 3], 是, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[0],[0,3],[0,2,3],[0,1,2,3]],"x":0,"small":[0],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 0, 是, [0], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[1],[1,3],[1,2,3],[0,1,2,3]],"x":1,"small":[1],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 1, 是, [1], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[2],[2,3],[1,2,3],[0,1,2,3]],"x":2,"small":[2],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 2, 是, [2], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":4,"opens":[[],[3],[2,3],[1,2,3],[0,1,2,3]],"x":3,"small":[3],"large":[0,1,2,3]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)
第二批擴展核對=(4, 3, 是, [3], [0, 1, 2, 3], 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-upward-closure；資料={"n":3,"opens":[[],[0],[0,1],[0,1,2]],"x":-1,"small":[0],"large":[0,1,2]}。請依 [n,x,point_qualified,small,large,small_subset_large,small_neighborhood,large_neighborhood] 欄序回答。
(3, -1, 否, [0], [0, 1, 2], 是, 不求值, 不求值)
第二批擴展核對=(3, -1, 否, [0], [0, 1, 2], 是, 不求值, 不求值)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-upward-closure · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[0],[0,1],[0,1,2],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0], [0, 1], [0, 1, 2], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0], [0, 1], [0, 1, 2], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[1],[0,1],[0,1,2],[0,1,2,3]],"x":1}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 1, [[1], [0, 1], [0, 1, 2], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 1, [[1], [0, 1], [0, 1, 2], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[2],[0,2],[0,1,2],[0,1,2,3]],"x":2}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 2, [[2], [0, 2], [0, 1, 2], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 2, [[2], [0, 2], [0, 1, 2], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[3],[0,3],[0,1,3],[0,1,2,3]],"x":3}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 3, [[3], [0, 3], [0, 1, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 3, [[3], [0, 3], [0, 1, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[0],[0,2],[0,1,2],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0], [0, 2], [0, 1, 2], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0], [0, 2], [0, 1, 2], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[1],[1,2],[0,1,2],[0,1,2,3]],"x":1}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 1, [[1], [1, 2], [0, 1, 2], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 1, [[1], [1, 2], [0, 1, 2], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[2],[1,2],[0,1,2],[0,1,2,3]],"x":2}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 2, [[2], [1, 2], [0, 1, 2], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 2, [[2], [1, 2], [0, 1, 2], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[3],[1,3],[0,1,3],[0,1,2,3]],"x":3}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 3, [[3], [1, 3], [0, 1, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 3, [[3], [1, 3], [0, 1, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[0],[0,3],[0,1,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0], [0, 3], [0, 1, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0], [0, 3], [0, 1, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[1],[1,3],[0,1,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0, 1, 3], [0, 1, 2, 3]], [[0, 1, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0, 1, 3], [0, 1, 2, 3]], [[0, 1, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[2],[2,3],[0,2,3],[0,1,2,3]],"x":2}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 2, [[2], [2, 3], [0, 2, 3], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 2, [[2], [2, 3], [0, 2, 3], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[3],[2,3],[0,2,3],[0,1,2,3]],"x":3}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 3, [[3], [2, 3], [0, 2, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 3, [[3], [2, 3], [0, 2, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[0],[0,1],[0,1,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0], [0, 1], [0, 1, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0], [0, 1], [0, 1, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[1],[0,1],[0,1,3],[0,1,2,3]],"x":1}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 1, [[1], [0, 1], [0, 1, 3], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 1, [[1], [0, 1], [0, 1, 3], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[2],[0,2],[0,2,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0, 2], [0, 2, 3], [0, 1, 2, 3]], [[0, 2], [0, 1, 2], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0, 2], [0, 2, 3], [0, 1, 2, 3]], [[0, 2], [0, 1, 2], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[3],[0,3],[0,2,3],[0,1,2,3]],"x":3}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 3, [[3], [0, 3], [0, 2, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 3, [[3], [0, 3], [0, 2, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[0],[0,2],[0,2,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0], [0, 2], [0, 2, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0], [0, 2], [0, 2, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[1],[1,2],[1,2,3],[0,1,2,3]],"x":1}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 1, [[1], [1, 2], [1, 2, 3], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 1, [[1], [1, 2], [1, 2, 3], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[2],[1,2],[1,2,3],[0,1,2,3]],"x":2}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 2, [[2], [1, 2], [1, 2, 3], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 2, [[2], [1, 2], [1, 2, 3], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[3],[1,3],[1,2,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0, 1, 2, 3]], [[0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0, 1, 2, 3]], [[0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[0],[0,3],[0,2,3],[0,1,2,3]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 0, [[0], [0, 3], [0, 2, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 0, [[0], [0, 3], [0, 2, 3], [0, 1, 2, 3]], [[0], [0, 1], [0, 2], [0, 1, 2], [0, 3], [0, 1, 3], [0, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[1],[1,3],[1,2,3],[0,1,2,3]],"x":1}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 1, [[1], [1, 3], [1, 2, 3], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 1, [[1], [1, 3], [1, 2, 3], [0, 1, 2, 3]], [[1], [0, 1], [1, 2], [0, 1, 2], [1, 3], [0, 1, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[2],[2,3],[1,2,3],[0,1,2,3]],"x":2}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 2, [[2], [2, 3], [1, 2, 3], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 2, [[2], [2, 3], [1, 2, 3], [0, 1, 2, 3]], [[2], [0, 2], [1, 2], [0, 1, 2], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":4,"opens":[[],[3],[2,3],[1,2,3],[0,1,2,3]],"x":3}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(4, 3, [[3], [2, 3], [1, 2, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])
第二批擴展核對=(4, 3, [[3], [2, 3], [1, 2, 3], [0, 1, 2, 3]], [[3], [0, 3], [1, 3], [0, 1, 3], [2, 3], [0, 2, 3], [1, 2, 3], [0, 1, 2, 3]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate
完整有限拓撲與指定點。操作=neighborhood-complete-inventory；資料={"n":3,"opens":[[],[0],[0,1],[0,1,2]],"x":0}。請依 [n,x,open_basis,all_neighborhoods] 欄序回答。
(3, 0, [[0], [0, 1], [0, 1, 2]], [[0], [0, 1], [0, 2], [0, 1, 2]])
第二批擴展核對=(3, 0, [[0], [0, 1], [0, 1, 2]], [[0], [0, 1], [0, 2], [0, 1, 2]])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；鄰域包含含點開集；鄰域本身不必開；域外點不求值。
鄰域 · qf-ext19-neighborhood-complete-inventory · candidate