Finite Factored Sets: Conditional Orthogonality — AI Alignment Forum