\documentclass[a4paper]{article}
\usepackage{ucs}
\usepackage[utf8x]{inputenc} % Включаем поддержку UTF8
\usepackage[russian]{babel}  % Включаем пакет для поддержки русского языка
\usepackage{amsfonts} % Буквы множеств

\begin{document}

    \maketitle

    \section{№4 (только для Sup)}
    Обозначим \( A = supX, \ B = supY \). Докажем, что \( supZ = A + B \)

    \begin{enumerate}
        \item По определению: \( \forall x \leq A, \forall y \leq B, \Rightarrow x + y \leq A + B \)
        \item По определению: \begin{math} \forall \epsilon > 0 \ \exists x_0 : x_0 + \epsilon / 2 > A, \ \exists y_0 : y_0 + \epsilon / 2 > B, \Rightarrow x_0 + y_0 > A + B + \epsilon \end{math}
    \end{enumerate}

    Значит, \( A + B \) удовлетворяет определению точной верхней границы множества \(Z, \Rightarrow supZ = A + B \), ч.т.д.