@FernandoMartin y'know what they call topology where you don't bother with elements of your space and only think about the lattice of open sets, right?
@mirgee for each permutation so that $P(n)=k$, we can associate that with the derangement of $n-1$ items that sends $P^{-1}(n)$ to $P(n)$ and is otherwise identical to $P$
@mirgee it is so that we can "factor" the derangements of $n$ items through item $n$ to get $n-1$ derangements of $n-1$ items and $n-1$ derangements of $n-2$ items
I am so glad this community exists! Those generous people here are helping me so much in my studies! Wish I had the ability to help someone, but maybe one day :)