Definition A ring R is a Family of Sets satisfying the following properties ∀A,B∈R, A−B∈R ∀A,B∈R, A∪B∈R This implies the following ∅∈R ∀A,B∈R, A∩B∈R∵A∩B=A−(A−B)