completeness relation linear algebra