non-empty relations have functional range

Tags: partial range, total relation.