https://cardeq.blogspot.com/2023/04/relations-functions-domain-and-range.html