7.1 概念层次的同构系统