summary.IndiscernibilityRelation function

The summary function for an indiscernibility relation