1: \begin{definition}

2: 	Given a BCI(K)-algebra $\prt{A,\rightarrow,\top}$,  the structure $\prt{\mathbb{A},\Twoheadrightarrow,\Rightarrow,[\top,\top]}$ obtained by the method used in Theorem \ref{ThIntBCI} is called 

3: 	\textbf{Interval BCI(K)-algebra}, \textbf{IBCI} (\textbf{IBCK}).

4: \end{definition}

5: