for X being set st X is void holds
PairsOf X = {}