Lineární formy, jejich lineární závislost a nezávislost. Z nekonečného pokrytí uzavřeného intervalu otevřenými intervaly lze vybrat konečné podpokrytí.