non-empty relations have functional range

Tags: partial range.