grapes-less-than-equals-grapes function

Partial Order in Sets and Concepts