lean-ja / lean-ja/lean-by-example
始域、終域、定義域、値域
Open
Nobody has claimed this yet.
バグ・誤り・不備
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
用語として整理しておくべきではないか。
- 始域と定義域は、全域関数なら一致する。部分関数なら一致しない。
- 終域と値域は、全射なら一致する。全射でなければ一致しない。
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the existing documentation or examples where function terminology is introduced. Organize the terms 始域, 終域, 定義域, and 値域, including the stated distinctions for total, partial, and surjective functions; done means the terminology is clearly documented in the appropriate location.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 52/100