任何代数系统都存在子代数。
出自:西安交通大学---离散数学