we defined a binary relation ≤ on X

we defined a binary relation ≤ on X by putting x ≤ y if and only if y ∗ x = 0. Then (X,≤) is a partially ordered set. It is easy to show that the following properties are true for a KK-algebra. For any x,y,z

ผลลัพธ์ (เยอรมัน) 1:

Wir definiert eine binäre Relation ≤ x, indem X ≤ y Wenn und nur wenn y ∗ X = 0. dann (X, ≤) eine teilweise bestellten Satz gibt es ist leicht zu zeigen, dass die folgenden Eigenschaften für eine KK zutreffen-Algebra für X, y, Z.

ผลลัพธ์ (เยอรมัน) 2:

Wir de fi eine binäre Relation definiert ≤ auf X durch x ≤ y setzen, wenn und nur wenn y * x = 0. Dann ist (X, ≤) ist eine teilweise geordnete Menge. Es ist leicht zu zeigen, dass die folgenden Eigenschaften gilt für einen KK-Algebra sind. Für jede x, y, z.

ผลลัพธ์ (เยอรมัน) 3:

Wir brauchen eine binäre sein de ≤ X ≤ y von X, wenn nur die Y - und X = 0. Wenn * ≤ (X, und dann Hat es ist eine teilweise SET).Das ist sehr Leicht display attribut IST True for a KK-algebra. Für X, Y, z z z z z z z