X er et bayesiansk nettverk med hensyn til G, hvis for hvilke som helst to noder u, v: hvor Z er en mengde der d separerer u og v. (Markov-teppet er den minimale mengden av noder som d-separerer node v fra alle andre noder).