Sebuah pernyataan logis yang menjelaskan hubungan (seperti lebih besar dari atau sama dengan) dua ekspresi aritmatika atau item data.