proper subset

Türkçe: has alt küme

Açıklama: Öz alt küme; kendisi olmayan alt küme