{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","page_type":"paths","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{},"path":{"id":"path-function-to-limits","title":{"zh-Hant":"集合、函數到趨近關係","en":"From Sets and Functions to the Tends-To Relation"},"summary":{"zh-Hant":"建立集合隸屬、總函數與趨近語義的基礎鏈。","en":"Establish a foundational chain from set membership through total functions to convergence semantics."},"audience":["upper_secondary","undergraduate"],"review":"reviewed","nodes":[{"id":"mko-set-membership","position":1,"requirement":"required","rationale":{"zh-Hant":"建立元素與集合之間的基本關係。","en":"Establish the basic relation between an element and a set."}},{"id":"mko-function-mapping","position":2,"requirement":"required","rationale":{"zh-Hant":"理解定義域到陪域的總函數。","en":"Understand a total function from a domain to a codomain."}},{"id":"mko-tends-to-relation","position":3,"requirement":"required","rationale":{"zh-Hant":"在函數關係上引入趨近與濾子核心。","en":"Introduce approach and the filter core on top of function relations."}}]},"title":"集合、函數到趨近關係"}