<p>We study S-prime hyperideals by relating them to prime hyperideals. The S-prime hyperideals are studied in the hyperfield of fractions in the Krasner hyperring. The characterization of S-prime hyperideals is determined under a strong homomorphism. With the help of strong epimorphisms, the conditions for oneto- one correspondence between the S-prime hyperideals in the hyperring and S-prime hyperideals in the hyperfield of fractions of these hyperrings are investigated. The concept of S-prime subhypermodules of Krasner hypermodules is introduced. In particular, the S-spectrum Spec_<i>S</i> of the S-Zariski topology is obtained, which is based on the element of S-prime subhypermodules of a class of these hypermodules. Moreover, characterizations of S-prime subhypermodules are given in the perspective of the S-spectrum.</p>