completeness relation wikipedia