분할가능성과 전이성의 정의