find A: Subset(X) {
   find R: Relation(X) {
      find x,y (x member A and not (y member A) and R(x,y))
   }
}
