.[19] This is what would ordinarily be indicated by the notation

, where the suffixes denote correlation with the integers used as suffixes, and the correlation is one-many, not necessarily one-one, because

and

may be equal when

and