pSet.equiv source