████ ██████

██ █████████، ███████ ██ ███████████ ███████، █████ ██████ ████████ (██████████: ███████████ █████) (███ █████ ██████ ████ █████████ ██ ██████ ████ ████ █████ █████ █████, █████ ████ ███ ████) ██ ████ ██████ ███ ████ ████████ ████ █████ ████ █████ ██████ ███ ████ ███████، ███████ ████████ ███ ████ ████ █████، ██ ██████ █████ ██████ ███ ████ █████. █████ ██████ ███████ ███ █████ ███████، ██ ████، ██████ ██████████. ████ ██████ ████████ ██ ██████ ███████ ███ █████ ███████████، ███ ████ █████ ████ █████████ ███ ██████: ████ ████████ ███████████ ████████████ ███ ██████ ████████.

█████ █████ █████ ████████ ████████ █████ ██████ ██████؛ ███ ██████ ██████ ████████ ██ ████ ██████ █████ ██████ ██████ ███████ ███████ ███. ███ ████ █████ ██████ ████████ ██████ ██ ████ ██████ ██████████ ██████ ██████. █████ ████ ██████ ██████████ ██████████ ███████ ███ ████ ██████ ██████، █████ █████ ███ █████ ████████ ██████ ██ █████ ████████ █████████.

███ ████ ███ ██████ ████████، ███ █████ ██████ ████████ ███ ████ ██ █████ ████ █████، ██ █████ ████ ████ ██████ █████ █████ █████████ ███████ █████, ███ ████ ███████ █████ ███████████ ██ ██████ ███████ (███████) ████████ ███ █████ ███████ ██████ ███████ ██████████ ██████.

████ ██ █ ████ ████████، ████ █_█ ████ ██ █. █████ ████ █████████ ███████ ██ ██████ ████████ (███████) █████ ████ ███████ ███ █████ ██████ ██████ █_█.

${\displaystyle \{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:[\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}]\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}|\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\}}$

██████ ████ ██████ ████████ ██ █ █████ ██████ ████████ █ ██ ██████ ████████ █████████${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$

${\displaystyle \{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:[\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}]\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}|\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}){\}}_{/\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$

████████ ███ ██████ ████ ██████ (█ ∗ █)(█) := █(██) ███ ███ █ ≤ █ ≤ █/█ █(█ ∗ █)(█) := █(██ − █) ███ ███ █/█ ≤ █ ≤ █. ███████ ███ ████ █ ∗ █ ███ ████ ██████ █ «████ ██████» ██ ███ ██████ █ ████ ██████. █████ ██████ ██ ████ ██████████ ██ ████████ [█] █[█] ███ ███ [█ ∗ █], █████ █████ ██ ███ ██████ ██ █████ ███ ██████ ████████.

███ ████ ██████ ██████، ████ ██████ ████ ████ ██████████ █████ ███ ██████ ███████ █_█ ██████ ████████ ██ █ ███ ██████ █_█ █████ ███ ██

${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}),}$

██ ███ ██ █(█, █_█). ████ ██████ ███████ ██ ██████ ███████ (██████ ██████) ███ ████ ██████، ███ █████ ██████ █ ███ ██████ █ ██████ █(█) = █(█ − █). ████ ████ ██ ██████ █ ███ ██████ █ ██ ███████ ██████.

████ █████ ██ ██ ██████ ████████ ████ ███ █████ ███ ██████ ████ ██████، ███ ███ ██ ████ ██، █████ ███ █████ █████ (██ ██████، ███ ██████ ███ █████ █████ ███████), ███ ████████ ██ ████ ██ ██████ █████ ██ ██████ █ ██ ████ ████. ███████ ██████ ██ ████ ██████ ██████ ██████ █████ █_█(█) ████ ██ █_█(█, █_█) ███ ██████ ██ ████████ ████ ███████ █████ █████ █████ ███.