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