L-拓扑空间的新U_0公理

在L-拓扑空间引入了一种新的U0公理,它被叫做次U0公理。次U0公理蕴涵次T0公理。次U0公理是一般拓扑中U0公理的好的扩张。另外,L-实直线和L-单位区间满足次U0公理。