Add to defset