萨克斯稠密性定理

（计算机科学技术）

萨克斯稠密性定理（Sacks density theorem），计算机科学技术名词，任给计算可枚举集合 BC ，存在计算可枚举集 A 使得 BAC 。