  In this document we consider the prime spectrum of an MV-algebra with certain
natural operations. These are used to show connections between the classes of
prime lattice filters and prime implication filters.
