1281.2 전이 조건의 형식적 정의