University College London - NSCI0005: Formal Definition - Linear Independence