An early approach toward graded identity and graded membership in set theory