  We investigate the properties of the holographic entanglement entropy of the
systems in which the $U(1)$ or the translational symmetry is broken
\textit{spontaneously}. For this purpose, we define the entanglement density of
the strip-subsystems and examine both the first law of entanglement entropy
(FLEE) and the area theorem. We classify the conditions that FLEE and/or the
area theorem obey and show that such a classification may be useful for
characterizing the systems. We also find universalities from both FLEE and the
area theorem. In the spontaneous symmetry breaking case, FLEE is always obeyed
regardless of the type of symmetry: $U(1)$ or translation. For the
translational symmetry, the area theorem is always violated when the symmetry
is weakly broken, independent of the symmetry breaking patterns (explicit or
spontaneous). We also argue that the $\log$ contribution of the entanglement
entropy from the Goldstone mode may not appear in the strongly coupled systems.
