Geordnete Menge/Teilmenge/Obere Schranke/Definition/Begriff

Eine obere Schranke zu einer Teilmenge ${}J\subseteq I$ in einer geordneten Menge ${}(I,\preccurlyeq )$.