第1章 程序设计语言与可计算函数

前提:数论空间 本书中通常只使用自然数.如无特殊声明,“数”均指自然数.自然数集合记作 N ={0,1,2,...}. 基本概念 有序对 设集合 S 和 T,S ×T 的元素(a,b)称作有序对,又称作有序二元组或二元组 二元关系 .S × T 的子集称作 S 到 T 的二元关系. 其中,S 到 S 的二元关系,即 S ×S 的子集,称作 S 上的二元关系.