Finite Factored Sets — AI Alignment Forum