stanford-oval/wikipedia huggingface dataset:
Visual Kei

Cosplay band visual kei rock Jepang Malice Mizer.
Visual kei merupakan penggabungan dari kata Visual (bahasa Inggris), dan Kei (bahasa Jepang) yang mempunyai arti ‘gaya’. Jika komunitas punk berasal dari London, maka Visual Kei berasal dari Jepang. Visual kei (ヴィジュアル系code: ja is deprecated , bijuaru kei) mengacu pada sebuah gerakan dalam J-Rock yang populer pada sekitar tahun 1990-an. Gerakan ini ditandai dengan band yang mengenakan kostum dramatis dan imej visual untuk memperoleh perhatian. Di Jepang, penggemar band visual kei sebagian besar hampir selalu terdiri dari gadis remaja dan dipasarkan secara luas dalam bentuk merchandise anggota band itu sendiri. Di negara-negara lain, perbandingannya kecil secara kuantitas antara penganut visual kei kira-kira keseluruhan antara remaja putra dan putri.
Sejarah

Visual kei sebenarnya bermula saat Jepang mengalami perubahan besar-besaran usai Perang Dunia II. Saat itu ada suatu komunitas yang ‘terbuang’ dari masyarakat. Komunitas ini tidak hanya berbicara melalui mulut dan tulisan, tetapi juga lewat penampilan. Komunitas yang mayoritas terdiri dari kaum laki-laki itu tampil dengan mengenakan berbagai macam aksesoris dan berdandan maupun berperilaku layaknya perempuan. Lewat apa yang mereka pakai, mereka berbicara tentang segala hal mulai dari politik hingga masalah-masalah psikologis. Namun seiring dengan perubahan zaman, komunitas ini perlahan-lahan mengalami “mati suri” hal ini karena banyak orang Jepang yang lebih memilih bunuh diri untuk menyelesaikan masalah, daripada tenggelam dalam penderitaannya sendiri. Secara luas gerakan ini telah dimulai oleh X Japan pada tahun 1980-an, yang mengangkat tren dari pemanfaatan visual shock untuk memperoleh pengakuan dalam kancah musik independen.
Xestospongia madidus

| Xestospongia madidus |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Animalia
Subkerajaan:: Parazoa
Filum:: Porifera
Kelas:: Demospongiae
Spesies:: Xestospongia madidus

Xestospongia madidus adalah spesies spons yang tergolong dalam kelas Demospongiae. Spesies ini juga merupakan bagian dari kelas Demospongiae, filum Porifera, subregnum Parazoa, dan kingdom Animalia.
Seperti spons pada umumnya, spesies ini memiliki tubuh yang berpori dan permukaan yang keras seperti batu. Selain itu, Xestospongia madidus juga dapat menyerap oksigen dari air melalui proses difusi.
Ziglipton lumawigi

| Ziglipton lumawigi |
| --- | --- |


Klasifikasi ilmiah
Kerajaan:: Animalia
Filum:: Arthropoda
Kelas:: Insecta
Ordo:: Coleoptera
Famili:: Cerambycidae
Genus:: Ziglipton
Spesies:: Ziglipton lumawigi

Ziglipton lumawigi adalah spesies kumbang tanduk panjang yang tergolong famili Cerambycidae. Spesies ini juga merupakan bagian dari genus Ziglipton, ordo Coleoptera, kelas Insecta, filum Arthropoda, dan kingdom Animalia.
Larva kumbang ini biasanya mengebor ke dalam kayu dan dapat menyebabkan kerusakan pada batang kayu hidup atau kayu yang telah ditebang.
Ziglipton huedepohli

| Ziglipton huedepohli |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Animalia
Filum:: Arthropoda
Kelas:: Insecta
Ordo:: Coleoptera
Famili:: Cerambycidae
Genus:: Ziglipton
Spesies:: Ziglipton huedepohli

Ziglipton huedepohli adalah spesies kumbang tanduk panjang yang tergolong famili Cerambycidae. Spesies ini juga merupakan bagian dari genus Ziglipton, ordo Coleoptera, kelas Insecta, filum Arthropoda, dan kingdom Animalia.
Larva kumbang ini biasanya mengebor ke dalam kayu dan dapat menyebabkan kerusakan pada batang kayu hidup atau kayu yang telah ditebang.
Zygiella kirgisica

| Zygiella kirgisica |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Animalia
Filum:: Arthropoda
Kelas:: Arachnida
Ordo:: Araneae
Famili:: Araneidae
Spesies:: Zygiella kirgisica
Nama binomial
Zygiella kirgisica Bakhvalov, 1974

Zygiella kirgisica adalah spesies laba-laba yang tergolong famili Araneidae. Spesies ini juga merupakan bagian dari ordo Araneae. Nama ilmiah dari spesies ini pertama kali diterbitkan pada tahun 1974 oleh Bakhvalov.
Laba-laba ini biasanya banyak ditemui di Kirgizstan.
Yeh Hai Jalwa

| Yeh Hai Jalwa ये है जलवा |
| --- | --- |
Sutradara: David Dhawan
Produser: Kanchan Ketan Desai
Ditulis oleh: Rumi Jaffery
Pemeran: Rishi Kapoor Salman Khan Amisha Patel Kader Khan Rati Agnihotri Sanjay Dutt Rinke Khanna
Penata musik: Himesh Reshammiya Anand Raj Anand
Sinematografer: K. S. Prakash Rao
Penyunting: David Dhawan
Distributor: Sohail Khan Productions
Tanggal rilis: 26 July 2002
Durasi: 142 minutes
Negara: India
Bahasa: Hindi
Pendapatan kotor: ₹50 juta (US$700,000)
Yeh Hai Jalwa (bahasa Hindi: ये है जलवा, Inggris: This Is Magic) adalah sebuah film komedi Bollywood 2002 yang disutradarai oleh David Dhawan. Film ini dibintangi oleh Salman Khan dan Amisha Patel dalam peran utama, bersama Kader Khan, Rati Agnihotri, Rishi Kapoor, Anupam Kher, Rinke Khanna and Sanjay Dutt dalam peran pendukung. Film ini gagal di Box Office tetapi lagu-lagunya cukup populer di kalangan massa.
Pranala luar

Yeh Hai Jalwa di IMDb (dalam bahasa Inggris)
Yeh Hai Jalwa di Allmovie (dalam bahasa Inggris)
| l b Film yang disutradarai oleh David Dhawan |
| --- | --- |
 Taaqatwar (1989)  Jurrat (1989)  Aandhiyan (1989)  Gola Barood (1989)  Aag Ka Gola (1990)  Swarg (1990)  Shola Aur Shabnam (1992)  Bol Radha Bol (1992)  Aankhen (1993)  Eena Meena Deeka (1994)  Andaz (1994)  Raja Babu (1994)  Coolie No. 1 (1995)  Yaraana (1995)  Saajan Chale Sasural (1996)  Loafer (1996)  Judwaa (1997)  Banarasi Babu (1997)  Hero No. 1 (1997)  Deewana Mastana (1997)  Mr. and Mrs. Khiladi (1997)  Gharwali Baharwali (1998)  Bade Miyan Chote Miyan (1998)  Biwi No.1 (1999)  Haseena Maan Jaayegi (1999)  Dulhan Hum Le Jayenge (2000)  Chal Mere Bhai (2000)  Kunwara (2000)  Jodi No.1 (2001)  Kyo Kii... Main Jhuth Nahin Bolta (2001)  Hum Kisise Kum Nahin (2002)  Yeh Hai Jalwa (2002)  Chor Machaaye Shor (2002)  Ek Aur Ek Gyarah (2003)  Mujhse Shaadi Karogi (2004)  Maine Pyaar Kyun Kiya (2005)  Shaadi No. 1 (2005)  Partner (2007)  Do Knot Disturb (2009)  Rascals (2011)  Chashme Baddoor (2013)  Main Tera Hero (2014)  Judwaa 2 (2017)  Coolie No. 1 (2020)
Medan Amplas, Medan

| Medan Amplas |
| --- | --- |
Kecamatan
Peta lokasi Kecamatan Medan Amplas
Medan AmplasPeta lokasi Kecamatan Medan Amplas
Koordinat: 3°32′50″N 98°43′08″E﻿ / ﻿3.547169°N 98.718923°E﻿ / 3.547169; 98.718923
Negara:  Indonesia
Provinsi: Sumatera Utara
Kota: Medan
Pemerintahan
 • Camat: Irfan Arsadi Siregar
Populasi (2022)
 • Total: 134.282 jiwa
 • Kepadatan: 11.593/km2 (30,030/sq mi)
Kode pos: 20147- 20149, 20219
Kode Kemendagri: 12.71.09 
Kode BPS: 1275030 
Luas: 11,19 km²
Desa/kelurahan: 7 kelurahan
Medan Amplas adalah salah satu dari 21 kecamatan yang terletak di Kota Medan, Provinsi Sumatera Utara, Indonesia.
Geografi > Batas-batas

Kecamatan ini berbatasan dengan Medan Johor di sebelah barat, Kabupaten Deli Serdang di sebelah timur dan selatan, dan Medan Kota serta Medan Denai di sebelah utara.
Wilayah administrasi

Kecamatan Medan Amplas terbagi menjadi 7 kelurahan. Nama-nama kelurahannya yakni:
Amplas
Bangun Mulia
Harjosari I
Harjosari II
Sitirejo II
Sitirejo III
Timbang Deli
Demografi

Pada tahun 2020, kecamatan Medan Amplas mempunyai penduduk sebesar 129.726 jiwa. Luasnya adalah 11,19 km² dan kepadatan penduduknya adalah 11.593 jiwa/km². Sementara pada tahun 2021, penduduk Medan Amplas berjumlah 134.282 jiwa.
Demografi > Etnis

Sebagai salah satu kecamatan di Kota Medan, suku penduduk di kecamatan ini cukup beragam. Suku Melayu Deli, Batak, dan Jawa merupakan suku yang paling banyak di kecamatan ini. Selain itu, ada juga suku lain seperti Minang, Tionghoa, Sunda, India, Nias, Pesisir, Bugis dan lainnya.
Demografi > Agama

Berdasarkan data Kementerian Dalam Negeri tahun 2021, penduduk kecamatan Medan Amplas sangat beragam dalam agama yang dianut. Adapaun persentasi penduduk kecamatan Medan Amplas berdasarkan agama yang dianut ialah, yang memeluk agama Islam sebanyak 75,37%, kemudian Kristen sebanyak 23,90% dimana Protestan 21,57% dan Katolik 2,33%. Pemeluk agama Buddha sebanyak 0,65%, dan sebagian kecil lainnya adalah Hindu 0,03%, dan kepercayaan lainnya kurang dari 0,05%. Sementara untuk rumah ibadah, terdapat 62 masjid, 25 gereja, dan 1 vihara.
Yang terletak di kecamatan ini

Terminal Amplas, Terminal ini merupakan pintu masuk jalur darat Kota Medan dari sebelah Selatan.
Markas Kepolisian Daerah Sumatera Utara (Mapolda Sumut)
Koramil 08/Medan Johor
Kantor Pusat dan Pool Bus Antar Lintas Sumatera (ALS).
Fly Over Amplas
Gerbang Tol Amplas
Prime One School
Pasar Simpang Limun
Lapangan Sepak Bola Asrama Widuri
SMA Negeri 21 Medan
SMK Negeri 2 Medan
SMK Negeri 3 Medan
SMK Negeri 7 Medan
SMP Negeri 15 Medan
SMP Negeri 36 Medan
Pranala luar

(Indonesia) Halaman di situs Pemko Medan Diarsipkan 2007-03-25 di Wayback Machine.
Year 7 Class 1

| Year 7 Class 1 |
| --- | --- |

Informasi latar belakang
Asal: Seoul, Korea Selatan
Genre: K-pop Dance-pop
Tahun aktif: 2014 (2014)–2018
Label: DRB Entertainment

Mantan anggota:  Baek Se-hee  Kang Min-ju  Shin Ee-rang  Kwon So-jung  Han Bit-na  Yoo Hwa  Go Eun-sil 
Year 7 Class 1 (Hangul: 칠학년일반) adalah grup vokal wanita Korea Selatan yang dibentuk oleh DRB Entertainment di Seoul, Korea Selatan. Grup ini debut pada 24 Januari 2014 dengan lagu "Oppa Virus".
Personel

Baek Se-hee (백세희)
Kang Min-ju (강민주)
Shin Ee-rang (신이랑)
Kwon So-jung (권소정)
Han Bit-na (한빛나)
Yoo Hwa (유화)
Go Eun-sil (고은실)
Diskografi > Extended play

| Judul | Detail album | Posisi puncak tangga musik> KOR  | Penjualan |
| --- | --- | --- | --- |
| Believe |  Dirilis: 4 November 2015  Label: DRB Entertainment, Sony Music  Format: CD, unduh digital | 26 |  KOR: 673 |
Yuki Takabayashi

| Informasi pribadi |
| --- | --- | --- | --- |
Nama lengkap:  Yuki Takabayashi
Tanggal lahir:  22 Mei 1980 (umur 44)
Tempat lahir:  Prefektur Shizuoka, Jepang
Posisi bermain:  Gelandang
Karier senior*
| Tahun |  Tim |  Tampil |  (Gol) |
| 2003-2004 |  Shimizu S-Pulse |   |   |
| 2005 |  Sagan Tosu |   |   |
| 2006 |  Montedio Yamagata |   |   |
| 2007-2008 |  TDK |   |   |
 * Penampilan dan gol di klub senior hanya dihitung dari liga domestik
Yuki Takabayashi (lahir 22 Mei 1980
) adalah pemain sepak bola asal Jepang.
Karier

Yuki Takabayashi pernah bermain untuk Shimizu S-Pulse, Sagan Tosu, Montedio Yamagata dan TDK.
Pranala luar

(Jepang) Profil dan statistik di situs web resmi J. League Data Site
Yuki Sato

| Informasi pribadi |
| --- | --- | --- | --- |
Nama lengkap:  Yuki Sato
Tanggal lahir:  13 Februari 1988 (umur 36)
Tempat lahir:  Prefektur Nara, Jepang
Posisi bermain:  Penyerang
Karier senior*
| Tahun |  Tim |  Tampil |  (Gol) |
| 2012– |  AC Nagano Parceiro |   |   |
 * Penampilan dan gol di klub senior hanya dihitung dari liga domestik
Yuki Sato (lahir 13 Februari 1988
) adalah pemain sepak bola asal Jepang.
Karier

Yuki Sato pernah bermain untuk AC Nagano Parceiro.
Pranala luar

(Jepang) Profil dan statistik di situs web resmi J. League Data Site
Xbox Live Arcade

| XBLA Logo> png |
| --- | --- |
Pengembang: Microsoft
Tanggal diluncurkan: 6 November 2004 (Xbox) 22 November 2005 (Xbox 360)
Platform: Xbox, Xbox 360
Status: Discontinued (Xbox)   Active (Xbox 360)
Situs web: marketplace.xbox.com/Games/XboxArcadeGames
Xbox Live Arcade (XBLA) adalah sebuah layanan unduhan permainan video digital yang tersedia lewat jaringan Xbox Games Store, jaringan distribusi digital Microsoft untuk Xbox 360. Layanan tersebut berfokus pada permainan-permainan unduhan kecil dari penerbit besar dan pengembang permainan independen.
Pranala luar

Situs web resmi
Notasi ungkapan himpunan

\{n\in \mathbb {Z} \mid (\exists k\in \mathbb {Z} )[n=2k]\}
Himpunan semua bilangan bulat genap 
 diungkapkan dalam notasi ungkapan himpunan.
Dalam teori himpunan, dan penerapannya dalam logika, matematika, dan ilmu komputer, notasi pembentuk himpunan (juga disebut notasi ungkapan himpunan) merupakan sebuah notasi matematis untuk menjelaskan suatu himpunan dengan menyatakan sifat-sifat yang harus dipenuhi anggota himpunan tersebut.
Mendefinisikan himpunan-himpunan oleh sifat-sifat juga dikenal sebagai pemahaman himpunan, keniskalaan himpunan atau sebagai mendefinisikan "intensi" (bahasa Inggris: intension) suatu himpunan.
Menyatakan himpunan dengan menuliskan semua anggotanya

Suatu himpunan dapat dinyatakan secara langsung dengan menyebut satu demi satu semua unsurnya antara kurung kurawal, seperti:
\{7,3,15,31\} adalah himpunan berisi empat bilangan, 3, 7, 15, dan 31, dan tidak ada lagi.
\{a,c,b\}=\{a,b,c\} adalah himpunan berisi  a,  b, dan  c, dan tidak ada lagi (tidak ada urutan antar unsur dalam himpunan).
Ini terkadang disebut "metode daftar" untuk menentukan sebuah himpunan.
Notasi elipsis dapat digunakan apabila hendak melambangkan himpunan yang berisi unsur-unsur dari sebuah barisan beraturan, seperti:
\{1,2,3,\dots ,100\} adalah himpunan bilangan bulat antara 1 dan 100, temasuk 1 san 100 itu.
\{1,2,3,\dots \} adalah himpunan bilangan asli.
\{\dots ,-2,-1,0,1,2,\dots \}=\{0,1,-1,2,-2,\dots \} adalah himpunan semua bilangan bulat.
Tidak ada urutan antar unsur dalam himpunan (ini menjelaskan keabsahan kesamaan dari contoh terakhir di atas), tapi dengan notasi elipsis, kita menggunakan sebuah barisan terurut sebelum (atau setelah) elipsisnya sebagai sebuah pembawa notasi konvensional untuk menjelaskan yang mana unsur-unsurnya ada di dalam sebuah himpunan. Beberapa unsur pertama dari barisan ditunjukkan, maka elipsisnya mengindikasikan bahwa interpretasi paling sederhana harus diterapkan untuk melanjutkan barisan. Tidak harus mengakhiri nilai yang muncul ke sebelah kanan dari elipsis, maka barisannya dianggap menjadi tak terbatas.
Umumnya,  \{1,\dots ,n\} melambangkan himpunan semua bilangan asli  i sehingga  1\leq i\leq n. Notasi lainnya untuk  \{1,\dots ,n\} adalah notasi kurung siku  [n]. Sebuah kasus khusus yang halus adalah  n=0, yang mana  [0]=\{1,\dots ,0\} sama dengan himpunan kosong  \emptyset . Dengan cara yang serupa,  \{a_{1},\dots ,a_{n}\} melambangkan himpunan semua  a_{i} untuk  1\leq i\leq n.
Dalam setiap contoh sebelumnya, setiap himpunan digambarkan dengan menyebut unsurnya satu demi satu. Tidak semua himpunan dapat digambarkan dalam hal ini, atau jika dapat, menyebut satu demi satunya dapat menjadi terlalu lama atau terlalu rumit untuk digunakan. Oleh karena itu, banyak himpunan dapat didefinisikan oleh sebuah sifat yang mencirikan unsur-unsurnya. Pencirian ini dapat diselesaikan secara informal menggunakan gancaran umum, seperti di contoh berikutnya.
\{ beralamat Jl. Nenas  \} merupakan himpunan semua tempat yang beralamat di Jl. Nenas.
Namun, pendekatan gancarannya dapat mengurangi ketepatan atau menjadi ambigu. Dengan demikian, notasi ungkapan himpunan sering kali digunakan dengan sebuah predikat mencirikan unsurnya dari himpunan menjadi terdefinisikan.
Menyatakan himpunan dengan notasi ungkapan himpunan

Notasi ungkapan himpunan dapat digunakan untuk menjelaskan himpunan-himpunan yang didefinisikan oleh suatu predikat, daripada penyebutan satu demi satu secara eksplisit. Dalam bentuk ini, notasi ungkapan himpunan memiliki tiga bagian: peubah, tanda pemisah yaitu tanda titik dua atau garis vertikal, dan predikat. Sehingga peubah terletak di sebelah kiri, dan predikat yang menjadi sifat himpunan berada di sebelah kanan. Tiga bagian berisi di dalam kurung kurawal, seperti:
atau
Garis vertikal (atau tanda titik dua) merupakan sebuah pemisah yang dapat dibaca sebagai "sedemikian sehingga". "untuk yang", atau "dengan sifatnya bahwa". Rumus  \Phi (x) dikatakan menjadi kaidah atau predikat. Semua nilai  x untuk yang predikatnya berlaku (adalah benar) menjadi miliki himpunan telah didefinisikan. Semua nilai  x untuk yang predikatnya tidak berlaku tidak menjadi milik himpunannya. Demikian,  \{x\mid \Phi (x)\} adalah himpunan semua nilai  x yang memenuhi rumus  \Phi . Ini dapat menjadi himpunan kosong, jika tidak ada nilai  x memenuhi rumusnya.
Menyatakan himpunan dengan notasi ungkapan himpunan > Menentukan daerah asal

Sebuah daerah asal  E dapat muncul di sebelah kiri dari garis vertikal:
atau dengan berdampingannya menjadi predikat:
Simbol  \in  disini melambangkan anggota himpunan, sedangkan simbol  \land  melambangkan operator logis "dan", dikenal sebagai konjungsi logis. Notasi ini mewakili himpunan semua nilai  x x yang menjadi miliki suatu himpunan  E yang diberikan yang predikatnya adalah benar (lihat "Aksioma keberadaan himpunan". Jika  \Phi (x) adalah sebuah konjugnsi  \Phi _{1}(x)\land \Phi _{2}(x), maka  \{x\in E\mid \Phi (x)\} terkadang ditulis  \{x\in E\mid \Phi _{1}(x),\Phi _{2}(x)\}, menggunakan sebuah koma sebagai ganti dari simbol  \land .
Umumnya, ini bukanlah sebuah ide yang baik untuk menganggap himpunan tanpa menentukan sebuah daerah asal, karena ini akan mewakili himpunan bagian dari semua kemungkinan hal-hal yang mungkin ada untuk yang predikatnya adalah benar. Ini dapat dengan mudah mengarah ke kontradiksi dan paradoks. Misalnya, paradoks Russell menunjukkan bahwa ungkapan  \{x\mid x\notin x\}, meskipun tampaknya dibentuk dengan baik sebagai sebuah notasi ungkapan himpunan, tidak dapat mendefinisikan sebuah himpunan tanpa menghasilkan sebuah kontradiksi.
Dalam kasus dimana himpunan  E jelas dari konteks, ini mungkin tidak ditentukan secara eksplisit. Ini biasanya dalam sastra untuk sebuah penulis untuk menyatakan daerah asal sebelumnya, dan kemudian tidak menentukannya dalam notasi ungkapan himpunan. Contohnya, seorang penulis dapat mengatakan sesuatu sebagai, "Kecuali jika tidak dinyatakan, peubah-peubahnya harus diambil menjadi bilangan asli."
Menyatakan himpunan dengan notasi ungkapan himpunan > Contoh-contoh

Contoh-contoh berikut mengilustrasikan himpunan-himpunan khusus didefinisikan oleh notasi ungkapan himpunan melalui predikat-predikat. Dalam setiap kasus, daerah asalnya ditentukan di sebelah kiri dari garis vertikal, sedangkan kaidahnya ditentukan di sebelah kanan.
\{x\in \mathbb {R} \mid x>0\} merupakan himpunan semua bilangan real positif sempurna, yang dapat ditulis dalam notasi selang sebagai  (0,\infty ).
\{x\in \mathbb {R} \mid \left|x\right|=1\} merupakan himpaunn dari  \{-1,1\}. Himpunan ini dapat juga didefinisikan sebagai  \{x\in \mathbb {R} \mid x^{2}=1\}; lihat predikat yang setara menghasilkan himpunan yang sama di bawah.
Untuk setiap bilangan bulat  m, kita dapat mendefinisikan  G_{m}=\{x\in \mathbb {Z} \mid x\geq m\}=\{m,m+1,m+2,\ldots \}. Sebagai sebuah contoh,  G_{3}=\{x\in \mathbb {Z} \mid x\geq 3\}=\{3,4,5,\ldots \} dan  G_{-2}=\{-2,-1,0,\ldots \}.
\{(x,y)\in \mathbb {R} \times \mathbb {R} \mid 0<y<f(x)\} merupakan himpunan pasangan bilangan real sehingga  y lebih besar dari  0 dan lebih kecil dari  f(x), untuk sebuah fungsi  f yang diberikan. Disini darab Cartesius  \mathbb {R} \times \mathbb {R}  melambangkan himpunan pasangan terurut bilangan real.
\{n\in \mathbb {N} \mid (\exists k)[k\in \mathbb {N} \land n=2k]\} merupakan himpunan semua bilangan asli genap. Tanda  \wedge  merupakan kepanjangan dari "dan", yang dikenal sebagai konjungsi logis. Tanda  \exists  merupakan kepanjangan dari "terdapat adanya", yang dikenal sebagai kuantifikasi eksistensial. Jadi misalnya,  (\exists x)P(x) dibaca sebagai "terdapat adanya sebuah  x sehingga  P(x)".
\{n\mid (\exists k\in \mathbb {N} )[n=2k]\} merupakan sebuah ragam notasi untuk himpunan yang sama mengenai bilangan asli genap. Ini tidak perlu untuk menentukan bahwa  n adalah sebuah bilangan asli, karena ini disiratkan oleh rumus di sebelah kanan.
\{a\in \mathbb {R} \mid (\exists p\in \mathbb {Z} )(\exists q\in \mathbb {Z} )[q\not =0\land aq=p]\} merupakan himpunan bilangan rasional; yaitu, bilangan real yang dapat ditulis sebagai nisbah dua bilangan bulat.
Ungkapan yang lebih kompleks di sebelah kiri notasi

Sebuah perluasan notasi ungkapan himpunan menggantikan peubah tunggal  x dengan sebuah ungkapan. Jadi sebagai gantinya  \{x\mid \Phi (x)\}, kita mungkin memiliki  \{\Psi (x)\mid \Phi (x)\} yang seharusnya dibaca
Contohnya:
\{2n\mid n\in \mathbb {N} \}, dimana  \mathbb {N}  adalah himpunan semua bilangan asli, merupakan himpunan semua bilangan asli genap.
\{p/q\mid p,q\in \mathbb {Z} ,q\not =0\}, dimana  \mathbb {Z}  adalah himpunan semua bilangan bulat, adalah  \mathbb {Q} , himpunan semua bilangan rasional.
\{2t+1\mid t\in \mathbb {Z} \} adalah himpunan bilangan bulat ganjil.
\{(t,2t+1)\mid t\in \mathbb {Z} \} menciptakan sebuah himpunan pasangan, dimana setiap pasangan menaruh padanan ke dalam sebuah bilangan bulat dengan sebuah bilangan bulat ganjil.
Ketika fungsi invers dapat dinyatakan secara eksplisit, ungkapannya di sebelah kiri dapat dieliminasikan melalui substitusi sederhana. Anggap himpunan contohnya  \{2t+1\mid t\in \mathbb {Z} \}. Buat substitusi  u=2t+1, yang berarti  t={\frac {u-1}{2}}, kemudian menggantikan  t dalam notasi ungkapan himpunan untuk mencari
Predikat yang setara menghasilkan himpunan yang sama

Dua himpunan dapat dikatakan sama jika dan hanya jika mereka memiliki unsur yang sama. Himpunan didefinisikan oleh notasi ungkapan himpunan adalah sama jika dan hanya jika kaidah ungkapan himpunannya, termasuk penentu daerah asalnya, adalah setara. Yakni
jika dan hanya jika
Oleh karena itu, dengan tujuan untuk membuktikan persamaan dua himpunan didefinisikan oleh notasi ungkapan himpunan, ini cukup untuk membuktikan kesetaraan predikatnya, termasuk pemberi sifat daerah asal.
Contohnya,
karena dua predikat kaidahnya adalah setara secara logis:
Kesetaraan ini berlaku karena, untuk suatu bilangan real  x, kita memiliki  x^{2}=1 jika dan hanya jika  x adalah sebuah bilangan rasional dengan  \left|x\right|=1. Khususnya, kedua himpunan sama dengan himpunan  \{-1,1\}.
Aksioma keberadaan himpunan

Dalam banyak teori himpunan formal, seperti teori himpunan Zermelo–Fraenkel, notasi ungkapan himpunan bukanlah bagian dari sintaks formal dari teorinya. Sebagai gantinya, terdapat sebuah skema aksioma keberadaan himpunan, yang menyatakan bahwa jika  E adalah sebuah himpunan dan  \Phi (x) adalah sebuah rumus dalam bahasa teori himpunan, maka terdapat sebuah himpunan  Y yang anggotanya persis unsur  E yang memenuhi  \Phi :
Himpunan  Y diperoleh dari aksioma ini persis himpunan yang digambarkan dalam notasi ungkapan himpunan sebagai  \{x\in E\mid \Phi (x)\}.
Paralel dalam bahasa pemrograman

Sebuah notasi yang serupa tersedia dalam jumlah bahasa pemrograman (terutama Python dan Haskell) adalah daftar pemahaman, yang menggabungkan operasi peta dan tapis pada satu daftar atau lebih.
Di Python, penjepit ungkapan himpunan digantikan dengan kurung siku persegi "[]", kurung "()", atau kurung kurawal "{}", memberikan daftar, pembangkit, dan objek himpunan, masing-masing. Python menggunakan sebuah sintaks berbasis Inggris. Haskell menggnatikan penjepit ungkapan himpunan dengan kurung siku persegi dan menggunakan simbol, termasuk garis vertikal ungkapan himpunan standar.
Hal yang sama dapat diperoleh di Scala menggunakan Sequence Comprehensions, dimana kata kunci "for" sesuai dengan sebuah daftar dari peubah yang dihasilkan menggunakan kata kunci "yield".
Anggaplah contoh-contoh notasi ungkapan himpunan ini dalam beberapa bahasa pemrograman:
|  | Contoh 1 | Contoh 2 |
| --- | --- | --- |
| Ungkapan himpunan |  \{l\ |\ l\in L\} |  \{(k,x)\ |\ k\in K\wedge x\in X\wedge P(x)\} |
| Python | {l for l in L}  | {(k, x) for k in K for x in X if P(x)}  |
| Haskell | [l | l <- ls]  | [(k, x) | k <- ks, x <- xs, p x]  |
| Scala | for (l <- L) yield l  | for (k <- K; x <- X if P(x)) yield (k,x)  |
| C# | from l in L select l  | from k in K from x in X where P(x) select (k,x)  |
| SQL | SELECT l FROM L_set  |  SELECT k, x FROM K_set, X_set WHERE P(x)  |
Notasi ungkapan himpunannya dan daftar notasi pemahaman adalah keduanya contoh notasi lebih umum dikenal sebagai pemahaman monad, yang membiarkan operasi seperti peta/tapis pada suatu monad dengan sebuah unsur nol.
Lihat pula

Glosarium teori himpunan