Definition:Finitary Operation