Szukana fraza: [Abstract = "A message expression is sequence of messages. Also the result of any operation is defined to have the two sets and therefore, can be an operand. Hence the closure property is satisfied. Finally we include some of the properties of the described object algebra operators."]