Gravar e-mail: The hull-kernel topology on prime ideals in ordered semigroups