If yset is empty, accepts as a true set.