Universal property of joins and meets in a poset — LessWrong