b - 9 (b, 2010)
Keywords: Function; Universal relation; Void relation; Equivalence relation; Transitive relation