Form equivalence class Howard-Rubin Number: 118
Statement: If \(X\) is a linear, complete order, then the ordertopology on \(X\) is highly separated. Morillon [1988] and Note 71.
Howard-Rubin number: 118 L
Citations (articles):
Connections (notes):
References (books):
Back