@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix course: <https://w3id.org/kmath/course/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix review_status: <https://w3id.org/kmath/review_status/> .
@prefix scheme: <https://w3id.org/kmath/scheme/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix textbook_section: <https://w3id.org/kmath/textbook_section/> .

concept:one_to_one_correspondence a math:Concept ;
    rdfs:label "일대일대응"@ko ;
    skos:altLabel "일대일함수"@ko ;
    skos:broader concept:function ;
    skos:definition "함수 f: X → Y에서 정의역의 서로 다른 원소에 공역의 서로 다른 원소가 대응하고, 치역과 공역이 같은 함수이다."@ko ;
    skos:editorialNote "2026-09-28 개념 모델 정비에서 2022 개정 교육과정 성취기준을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:exactMatch <http://www.wikidata.org/entity/Q180907> ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "one-to-one correspondence"@en,
        "일대일대응"@ko ;
    math:introducedIn course:common_math_2 ;
    math:requires concept:domain_codomain_range ;
    math:requiresTransitively concept:coordinate_plane,
        concept:direct_proportion,
        concept:domain_codomain_range,
        concept:function,
        concept:graph,
        concept:integer,
        concept:inverse_proportion,
        concept:rational_number,
        concept:set ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:national_curriculum_2022_common_math_2_functions_graphs ;
    math:taughtIn course:common_math_2 .