Codomain (of a function) — AI Alignment Forum