Interlinked glossary to keep the definitions introduced in the SS22 module Computational Social Choice straight.