Text this: Locally compact semi-algebras. :