摘要
对于‘■’关系满足插入性的locale,我们给出了Banaschewski-Mulvey式紧正则反射的构造性描述。进一步,证明了正规locale满足插入性;从而,给出了其紧正则反射。
In this note,we show a complete Boolean algebra is atomic if only if each subalgebra of it is atomic.
出处
《数理医药学杂志》
2010年第6期647-648,共2页
Journal of Mathematical Medicine
基金
Supported by NSFC(10926104),(NY217150)
关键词
代数
注解
原子
Subdivisibility Property
compact regular reflection
normal locale