تنص قاعدة لوبيتال على أنه إذا كانت limx→ag(x)f(x) من الصورة غير المعيَّنة 00 أو ∞∞، فإن
limx→ag(x)f(x)=limx→ag′(x)f′(x)
بشرط أن تكون النهاية في الطرف الأيمن موجودة (أو تساوي ±∞).
تنطبق القاعدة على هاتين الصورتين غير المعيَّنتين فقط. أما الصور غير المعيَّنة الأخرى (0⋅∞ و∞−∞ و1∞ و00 و∞0) فيجب أولًا إعادة كتابتها بالصورة 00 أو ∞∞.
قد يلزم تطبيق القاعدة عدة مرات إذا ظلت النهاية الجديدة غير معيَّنة. وكثيرًا ما تبسّط القاعدة بصورة جذرية نهايات صعبة لولاها، مثل limx→0xsinx=limx→01cosx=1.