https://anylang.net/pl/videos/en/ex-1-determine-if-graph-relation-one-one-function