Biner-pilihan-definisi (2)