Bir düzgün deyimin kendinden başka olan altdeyimi. || Her dolaysız altdeyimözaltdeyim olup, herözaltdeyim dolaysız altdeyim değildir. Örn. p önermesi, p=>(q=>p) ninözaltdeyimidir, ama aynı önermenin özalt deyimi olmakla birlikte; dolaysız altdeyimi değildir.