En este documento, mostramos que un método básico de punto fijo utilizado para encerrar el mayor punto fijo en un álgebra de Kleene nos permitirá calcular aproximaciones internas y externas de conjuntos basados en invariantes para sistemas dinámicos no lineales de tiempo continuo. Nuestra contribución es proporcionar las definiciones y teoremas que nos permitirán establecer el vínculo entre la teoría de conjuntos invariantes y el álgebra de Kleene. Este vínculo nunca se había realizado antes y nos permitirá calcular conjuntos rigurosamente que pueden definirse como una combinación de conjuntos invariantes positivos. Algunos ejemplos ilustrativos muestran las buenas propiedades del enfoque.