Η αντιδικία ορίζεται γενικά ως η διαδικασία με την οποία μια υπόθεση επιλύεται με δίκη σε δικαστήριο. Οι δύο βασικοί τύποι δικαστικού δικαίου αφορούν αστικές και ποινικές υποθέσεις. Σε αστικές υποθέσεις, υπάρχουν είδη δικαστικού δικαίου για κάθε τομέα πρακτικής. Το δίκαιο και τα νομικά ζητήματα σε κάθε τύπο υπόθεσης είναι διαφορετικά, αλλά η διαδικασία εκδίκασης των υποθέσεων είναι η ίδια.
Σε αστικές διαφορές, υπάρχουν δικηγόροι που μπορούν να εργάζονται μόνο στο δίκαιο των διαφορών λόγω αμέλειας και ορισμένοι που μπορεί να εργάζονται μόνο στον τομέα των εμπορικών διαφορών. Ένας δικηγόρος διαφορών μπορεί να δικάσει υποθέσεις που αφορούν το επιχειρηματικό δίκαιο, οι οποίες θα μπορούσαν να περιλαμβάνουν συμβάσεις. Οι δικαστικές διαφορές συμβαίνουν σε πολλούς τομείς του δικαίου, συμπεριλαμβανομένου του εργατικού δικαίου, του δικαίου της ψυχαγωγίας, της κακής πρακτικής, των πολιτικών δικαιωμάτων και σε εξειδικευμένους τομείς του νόμου, όπως το δίκαιο των διπλωμάτων ευρεσιτεχνίας και των εμπορικών σημάτων. Οι υποθέσεις του αστικού δικαίου θα αφορούν γενικά ζητήματα χρηματικής αποζημίωσης, αν και μερικές φορές μπορεί να εκδικαστούν δικαστικά για την αποκατάσταση ή την αποτροπή συγκεκριμένης ζημίας.
Στον τομέα του ποινικού δικαίου, το ζήτημα είναι αν ο κατηγορούμενος είναι ένοχος ποινικού αδικήματος. Το κράτος πρέπει να αποδείξει όλα τα στοιχεία της δίωξης πέρα από εύλογη αμφιβολία για να κριθεί ένοχος ο κατηγορούμενος. Οι κανόνες διαδικασίας είναι διαφορετικοί από ορισμένες απόψεις σε μια ποινική υπόθεση, λόγω της συνταγματικής προστασίας που παρέχεται σε κάποιον που δικάζεται για ποινικό αδίκημα. Για παράδειγμα, ένας κατηγορούμενος σε ποινική υπόθεση δεν μπορεί να εξαναγκαστεί να καταθέσει στη δίκη. Οι πρόσθετες διαδικαστικές προστασίες σε μια ποινική υπόθεση οφείλονται σε ενδεχόμενη απώλεια της ελευθερίας του κατηγορούμενου, μερικές φορές ακόμη και της ζωής, εάν επικρατήσει το κράτος.
Άλλοι τύποι δικαστικού δικαίου περιλαμβάνουν στρατιωτικό και διοικητικό δίκαιο. Ο νόμος και οι κανόνες που διέπουν τις στρατιωτικές δίκες ορίζονται από το Κογκρέσο των ΗΠΑ. Ωστόσο, το στρατιωτικό δίκαιο ενσωματώνει ορισμένους διαδικαστικούς και αποδεικτικούς κανόνες που χρησιμοποιούνται στα ομοσπονδιακά δικαστήρια. Οι διοικητικές δίκες, που μερικές φορές ονομάζονται «ακροάσεις», εκδικάζονται ενώπιον δικαστών διοικητικού δικαίου και εμπλέκουν μια κρατική υπηρεσία είτε ως ενάγοντα είτε ως εναγόμενο. Τα ζητήματα σε αυτές τις περιπτώσεις περιλαμβάνουν γενικά την επιβολή ρυθμιστικών νόμων ή την άρνηση κρατικών οφελών.
Αν και τα είδη του δικαστικού δικαίου είναι πολυάριθμα, η διαδικασία της δίκης είναι η ίδια. Οι διάδικοι είναι ενάγων και εναγόμενος. Στις αστικές υποθέσεις, ο ενάγων είναι ο διάδικος που ισχυρίζεται ότι της έχει γίνει νομικό λάθος. Σε ποινικές υποθέσεις, ο ενάγων είναι ο λαός της πολιτείας στην οποία φέρεται ότι συνέβη το έγκλημα, που εκπροσωπείται από έναν εισαγγελέα ενός κράτους ή της περιφέρειας. Τα μέρη σε οποιαδήποτε δικαστική ενέργεια μπορούν να υποβάλουν προτάσεις στο δικαστήριο σχετικά με νομικά ζητήματα της υπόθεσης, να κάνουν εναρκτήριες και τελικές δηλώσεις και να παρουσιάσουν αποδεικτικά στοιχεία μέσω εγγράφων και μαρτύρων.