Bir Boole cebiri için belirtilen bir savda (?) yerlerinde sırayla (?)konduğunda elde edilenin de bir sav olduğunu belirleyen ilke.