Definition 29: Basis

29