1/3 of notes on seminar-2013-01-10

Just some definitions.