
P P = P
trivially...

P Q = Q P

P (Q R) = (P Q) R

x #tex2html_wrap_inline4152# (P Q) = (x #tex2html_wrap_inline4154# P) (x #tex2html_wrap_inline4156# Q)
i.e. choice distributes over nondeterminism. So does  and so does
any f(P), where f is a CSP operation.