P(X) = < P(X=x1), P(X=x2), ... >
P(X,Y) = < P(X=xi,Y=yi) >
Logical sentences are allowed, such as P(X and (not Y))