completeness binary relations