It is shown that a function whose critical locus is an isolated complete intersection singularity of arbitrary dimension, and that has finite codimension (in the sense of R. Pellikaan, Proc. London Math. Soc. (3) 57 (1998) 357–382) with respect to the ideal defining the isolated complete intersection singularity, can be approximated by a function whose critical locus is a finite number of Morse points together with the Milnor fibre of the isolated complete intersection singularity, having there well-known types of singularities.
