跳转到内容

域理论/定义,基础

来自维基教科书,开放书籍,开放世界

定义 (域):

一个域是一个集合 ,具有两个运算 * 和 +,满足以下公理

华夏公益教科书