finset

The category of finite sets implemented as Python lists.

Summary

Function	A function between finite sets encoded as a Python list.
Cycles	Type alias.
Permutation	A permutation of a finite set, seen as a bijective finite-set function.