completeness relation ensures