Seol mar théacs é seo: Sets and ordered structures