It is a bit backwards to post here after creating the room, but well:
I created a specialsed room though not in a math sense, but for questions related to editing, tagging and so on; it is called MO editors' lounge
Each semi-ring $R$ comes equipped with a canonical preorder $r\leq r^\prime \Leftrightarrow \exists w: r + w = r^\prime$. If $R$ is a ring this order collapses. However, if $R$ is the positive part of a ring, it should usually be a lattice. More precisely, the only reason it could fail is if, in ...
It is a bit backwards to post here after creating the room, but well:
I created a specialsed room though not in a math sense, but for questions related to editing, tagging and so on; it is called MO editors' lounge
