Write 1 ~x 2 if the two stores 

Write 1 ~x 2 if the two stores 1 and 2 are equivalent with regard to a set
of identifiers ~x , i.e. 8x 2 ~x . 1(x ) = 2(x ). Fix now a set of low identifiers~l , and
let ~h be its complement, the high identifiers.

Kết quả (Việt) 1:

Viết 1 ~ x 2 Nếu hai mua sắm 1 và 2 có tương đương đối với một tập hợpsố định danh ~ x, tức là 8 x 2 ~ x. 1 (x) = 2 (x). Bây giờ sửa chữa một tập hợp các định dạng thấp ~ l, vàHãy để ~ h là bổ ngữ của nó, định dạng cao.

Kết quả (Việt) 2:

Viết? 1? ~ X? 2 nếu hai cửa hàng? 1 và 2? Tương đương liên quan đến một tập hợp
các định danh ~ x, tức là 8x 2 ~ x. ? 1 (x) =? 2 (x). Fix bây giờ là một tập hợp các định thấp ~ l, và
để cho ~ h được bổ sung của nó, số nhận dạng cao.