Completeness relation