completeness relation