● （33） 是类元之间的语义关系，其中的一个类元指定了由另一个类元保证执行的契约。