21:0321:03, 1 May 2024diffhist−973
Binary relation
Add mathematical book references with relevant pages for each defined term, add the terms ‘mapping’ and ‘partial mapping’ used in those references, remove the term ‘onto’ which has no reference and ‘right-definite’ which is only used in a computer science conference paper