Lattice Definability of Finite Matrix Rings | Synapse