update sets-and-relations.rst (#8364)

diff --git a/docs/theories/sets-and-relations.rst b/docs/theories/sets-and-relations.rst
index 5184603be2ce668fe5e368a335f12051b7bfd5c4..212ffa3d0dee48e593b5b59d1d5a0472e47930a6 100644 (file)
--- a/docs/theories/sets-and-relations.rst
+++ b/docs/theories/sets-and-relations.rst
@@ -81,8 +81,8 @@ For example:
   (declare-fun x () (Set Int))
   (declare-fun y () (Set Int))
   (declare-fun z () (Set Int))
-  (assert (member 0 x))
-  (assert (member 1 y))
+  (assert (set.member 0 x))
+  (assert (set.member 1 y))
   (assert (= z (as set.universe (Set Int))))
   (check-sat)
 
@@ -187,4 +187,7 @@ More details can be found in :cite:`MengRTB17`.
 Example:
 
 .. api-examples::
+    <examples>/api/cpp/relations.cpp
+    <examples>/api/java/Relations.java
+    <examples>/api/python/relations.py
     <examples>/api/smtlib/relations.smt2