Následující texty obsahují definice a tvrzení probírané na přednášce. Jsou postupně doplňovány podle postupu přednášky. K první (poznámkové) přednášce texty nejsou.