Finitary operation

Summary