A cluster is a collection of objects sharing some common characteristics. A cluster-string must be materialized so that the relationships and the objects become visible:
MAT((t: C_t1 < C_t2 < C_t3))
= ((t: {a,b}_t1 < {a,b}_t2 < {a,b}_t3))