completeness relation wiki