Finitary operation