1 in notes

cimnyselcmi lujvo

c₂ is an infinite set with members c₁ (incomplete specification).

See also: tolcimnyselcmi.

• jbovlaste

In notes:

tolcimnyselcmi

c₂ is a finite set with members c₁.