The algebraization of quantum mechanics and the implicate order