Universal property of joins and meets in a poset — AI Alignment Forum