Μια υπό όρους πρόταση είναι μια πρόταση που βασίζεται στο ότι ένα μέρος της πρότασης είναι αληθές προκειμένου το άλλο μέρος να είναι αληθές. Συνήθως εκφράζεται ως δήλωση “αν-τότε”, μια υπό όρους πρόταση περιλαμβάνει μια εξαρτημένη πρόταση ή μια φράση που δεν μπορεί να σταθεί ως πρόταση και μια ανεξάρτητη πρόταση ή μια φράση που είναι επίσης πλήρης πρόταση. Αυτές οι δύο προτάσεις χωρίζονται συνήθως με κόμμα.
Αν και οι υπό όρους προτάσεις μπορεί να έρχονται σε άλλες μορφές, τις περισσότερες φορές εκφράζονται ως προτάσεις «αν-τότε». Όταν εκφράζεται ως τέτοιο, το «αν» περιλαμβάνεται σχεδόν πάντα στην εξαρτημένη πρόταση, αλλά το «τότε» υπονοείται πιο συχνά. Για παράδειγμα, η πρόταση, «Αν χιονίσει πολύ άσχημα, τότε το σχολείο θα κλείσει», δηλώνεται πιο συχνά ως, «Αν χιονίσει πολύ άσχημα, το σχολείο θα κλείσει». Και οι δύο μορφές είναι γραμματικά σωστές, ωστόσο.
Υπάρχουν διάφοροι τύποι προτάσεων υπό όρους. Μπορούν να κατηγοριοποιηθούν ως απλώς αληθινές και αναληθή δηλώσεις ή, πιο συγκεκριμένα, ως γεγονότα, συμπεράσματα, προγνωστικές εκφράσεις και ευφάνταστες εκφράσεις. Τα γεγονότα, τα συμπεράσματα και οι προγνωστικές εκφράσεις είναι συνήθως αληθινές δηλώσεις, αλλά οι ευφάνταστες εκφράσεις ασχολούνται με το υποθετικό ή το αδύνατο.
Η πιο ξεκάθαρη από όλες τις υπό όρους προτάσεις είναι πιθανότατα το γεγονός. Τα γεγονότα απλώς εκφράζουν μια κατάσταση αιτίου και αποτελέσματος που είναι πάντα η ίδια. Για παράδειγμα, «Εάν το νερό φτάσει σε θερμοκρασία κάτω από 32°F. (0°C;), μετατρέπεται σε πάγο.” Από 32°F; (0°C;) είναι το σημείο πήξης του νερού, αυτή η δήλωση είναι πραγματική.
Εναλλακτικά, μια υπό όρους πρόταση που εκφράζει ένα υποτιθέμενο αποτέλεσμα σε μια δεδομένη αιτία είναι συνήθως ένα συμπέρασμα. Δηλώσεις που υποθέτουν ότι εάν ένα άτομο μπορεί να πετύχει κάτι μπορεί ένα άλλο, όπως «αν μπορώ να το κάνω, εσύ μπορείς», είναι συμπεράσματα. Επίσης, προτάσεις όπως: «Αν είναι αργία, δεν χρειάζεται να πάμε στη δουλειά», εμπίπτουν σε αυτήν την κατηγορία.
Οι προγνωστικές εκφράσεις συνήθως υποδεικνύουν σχέδια ή επιθυμητές πορείες δράσης. Εξαρτώνται από την αλήθεια της δήλωσης «αν» για να είναι ακριβείς, αλλά δεν υποθέτουν ότι η δήλωση «αν» είναι ακριβής. Συχνά, αυτές οι εκφράσεις περιγράφουν πιθανά μελλοντικά γεγονότα. Για παράδειγμα, η πρόταση, «Αν εξοικονομήσω αρκετά χρήματα, θα πάω διακοπές», εξαρτάται από το να είναι αληθές η ρήτρα «αν» προκειμένου να ισχύει και η ρήτρα «τότε». Οι προγνωστικές εκφράσεις συνήθως χρησιμοποιούν τον μέλλοντα χρόνο στο «τότε» μέρος της δήλωσης.
Οι ευφάνταστες εκφράσεις μπορεί να είναι υποθετικές ή αδύνατες. Μια υποθετική υπό όρους πρόταση είναι παρόμοια με μια προγνωστική υπό όρους πρόταση, αλλά δηλώνει κάτι που είναι δυνατό αλλά απίθανο, παρά πιθανό αλλά όχι πραγματικό. Για παράδειγμα: «Αν εξοικονομούσα αρκετά χρήματα, θα πήγαινα διακοπές». Η υποθετική χρησιμοποιεί τον παρελθόντα χρόνο στο τμήμα «αν» της πρότασης και «θα» στο τμήμα «τότε».
Ομοίως, οι αδύνατες καταστάσεις εμπίπτουν επίσης στην κατηγορία της φαντασίας. Όταν εκφράζεται μια αδύνατη κατάσταση, συνήθως το παρελθόν τέλειο χρησιμοποιείται και στις δύο προτάσεις και η λέξη «θα» χρησιμοποιείται στη δήλωση «τότε». Οι αδύνατες καταστάσεις μπορούν συχνά να κατηγοριοποιηθούν ως απραγματοποίητα σχέδια του παρελθόντος. Για παράδειγμα: «Αν είχα εξοικονομήσει αρκετά χρήματα, θα είχα πάει διακοπές».