Some definition required for linear algebra