State/No set is an element of itself 1