模型的抽象性 应用领域[作者写小说 「记录A→记录B模型领域 对应用领 X=小说,Y=作者 X=记录A,Y=记录B对模型领 域的指代 P=写 P=A B 域的指代 共同的对每个X至少存在 描述 个Y使得P(X,Y)模型的抽象性 作者 写 小说 记录A 记录B X=小说，Y=作者 P=写 X=记录A，Y=记录B P=A B 对每个X至少存在 一个Y使得P(X,Y) 应用领域 对应用领 域的指代 共同的 描述 模型领域 对模型领 域的指代