for A being set st A is finite holds
Fin A = bool A