- 투플들은 모두 상이(튜플의 유일성)
- 투플 사이에는 순서가 없음(튜플의 무순서성)
- 애트리뷰트 사이에는 순서가 없음(애트리뷰트의 무순서성)
- 모든 애트리뷰트 값은 원자값(애트리뷰트의 원자성)