find R: Relation(X) {
    all x R(x,x)
    AND
    all x,y R(x,y) -> R(y,x)
    AND
    all x,y,z R(x,y) & R(y,z) -> R(x,z)
}
