조건제시법: 두 판 사이의 차이

'''조건제시법'''(條件提示法, set-builder notation)은 [[집합론]]과 그것을 적용시킨 [[수학]], [[논리학]], [[전산학]]에서 어떤 [[집합]]을 그 집합의 원소들이 반드시만족하는 만족시켜야성질(조건)을 하는 성질을 서술함으로써서술(제시)함으로써 나타내는 표기법이다.<ref>{{서적 인용| 이탤릭체=예|last=Rosen| first=Kenneth| year=2007 | title=[[Discrete Mathematics and its Applications]] | edition=6th | publisher=McGraw-Hill | location=New York, NY | isbn=978-0-07-288008-3| pages=111–112}}</ref>