let X = {1,2,3}

all [R: Relation(X)] {
    all [x,y,z:X] ((R(x,y) and R(y,z)) -> R(x,z))
}
