Off-diagonal long-range order and meissner effect for lattice systems

We study some general properties of a strongly correlated electron system defined on a lattice. Assuming that the system exhibits off-diagonal long-range order, we show that this assumption implies the Meissner effect. This extends to lattice systems previous results obtained for the continuous case.