Definition of Functus