On safety of recursive queries

We investigate a totality of recursive queries on infinite universes. A recursive query model, which is considered, is inflationary fix point $IFP$. Properties of $IFP$-operator are investigated. We prove that models of countable categorical theories are safe.