### 1.2.2 Έλεγχος : `==, !=, >, >=, <, =<`

`==, !=, >, >=, <, =<` είναι ενθηματικοί τελεστές.
`a==b` ελέγχει την ισότητα μεταξύ του `a` και του `b` και επιστρέφει `1` αν το `a` είναι ίσο με το `b` ,αλλιώς `0`.
`a!=b` επιστρέφει `1` αν το `a` και το `b` είναι διαφορετίκα, αλλιώς `0` .
`a>=b` επιστρέφει `1` αν το `a` είναι μεγαλύτερο ή ισο από το `b` , αλλιώς `0`.
`a>b` επιστρέφει `1` αν το `a` είναι μεγαλύτερο από το `b` , αλλιώς`0`.
`a<=b` επιστρέφει `1` αν το `a` είναι μικρότερο ή ισο από το `b` , αλλιώς `0`.
`a<b` επιστρέφει `1` αν το `a` είναι μικρότερο από το `b` , αλλιώς `0`.
Για να γράψουμε την αλγεβρική συνάρτηση έχοντας το ίδιο αποτέλεσμα με την `if...then...else`, χρησιμοποιούμε την λογική συνάρτηση `ifte`.
Παράδειγμα :

`f(x):=ifte(x>0,true,false)`

ορίζει τη λογική συνάρτηση f όπως η `f(x)= true` if x ∈ ]0;+∞[ and `f(x)=false` if x ∈ ]−∞;0].
Είσοδος :

`f(0)==0`

’Εξοδος :

`1`

Προσοχή !
`a=b` δεν είναι λογικός τύπος δεδομένου !!!!
`a==b` είναι λογικός τύπος δεδομένου.