Spesialisasi (logika)

Konsep B adalah sebuah spesialisasi dari konsep A jika dan hanya jika: