Stone representation theorem