默契延伸

A类默示延伸是一个注射的设置到笛卡尔积将其作为一个因素。有很多这样的注射，所有这些都是作为反向 操作到投影笛卡尔乘积到所讨论的集合上，但默认扩展是对注入映射没有附加约束的扩展。

另请参见

笛卡尔积 反向关系 喷射 投影

关系 关系构成 关系构建 关系简化

资源

• 逻辑教学大纲

文档历史记录

上述文章的部分内容根据GNU自由文档许可证、其他适用许可证或版权所有者的许可改编自以下来源。

• 默认扩展,InterSciWiki
• 隐性延伸,我的维基商务
• 默认扩展,平面路径
• 默认扩展,维基百科