ordered sets an introduction