  We introduce strong congruence spaces, which are topological spaces that
provide a useful concept of dimension for monoid schemes. We study their
properties and show that, given a toric monoid scheme over an algebraically
closed basis, its strong congruence space and the complex toric variety
associated to its fan have the same dimension.
