completeness relation integral