상기 한 구체 예 로부터 도 추측 되 는 바 와 같이 , 논리 이 분 목 BT 의 루트 노드 및 각 중간 노드 에 대응 되 는 상기 한 집합 에 포함 되 는 부분 집합 을 조합 함 으로써 , 리프 노드 의 임의 의 그룹 을 표현 하 는 것 이 가능 해진다 . 즉 , 복수 의 계약자 중 에서 , 소정 의 계약자 가 포함 되 는 그룹 을 상기 한 부분 집합 의 조합 에 의해 표현 할 수 있 다 . 이하 에서 는 , 논리 이 분 목 BT 상 의 각 노드 에 대응 된 집합 전체 를 나타내 는 합집합 을 세트 시스템 ( SS ) 라 부르 기 로 하 고 , 하 기 수학식 1 과 같이 정의 한다 .