1 in notes

tolcimnyselcmi lujvo

c₂ is a finite set with members c₁.

See also: cimnyselcmi.

• jbovlaste

In notes:

cimnyselcmi

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