정규 확장의 전이성과 계승