Підмножина істинна

власна підмножина, підмножина множини A, відмінна від самої множини A