Universal property of joins and meets in a poset - History — LessWrong