Stav dette: Locally compact semi-algebras.