On universal functions in hereditarily finite superstructures

We obtain the necessary and sufficient condition for the existence of an universal $\Sigma$-function in the hereditarily finite superstructure. We show the application of this criterion to various well-known classes of structures.