In this paper, we introduce the concept of an associative $\Cal I$-ideal and a 
strong $\Cal I$-ideal in an {\bf IS}-algebra. We give necessary and
sufficient conditions for an $\Cal I$-ideal to be an associative
$\Cal I$-ideal, and we state a characterization of a strong $\Cal
I$-ideal of an {\bf IS}-algebra.