check 제약 조건