grapes-equals-grapes function

Equality in Sets and Concepts