let X = {1,2,3}

findall f:X -> X {
    exists g:X -> X {
        f = g.g
    }
}
