non-empty relations have functional range

Last updated Jul 23, 2024

Tags: partial range.