Uml OCL中的递归

假设我有这个UML类图：

在OCL中，我如何才能递归地指定一个实例不包含在列表中？换句话说，A的实例可能不包括在A.list_of_As中，也可能不包括在A.list_of_As的所有实例的所有列表中

您可以使用，获取a的列表。然后，只需检查不希望在该列表中看到的元素是否不存在。

您可以使用，获取a的列表。然后，只需检查不希望在该列表中看到的元素是否不存在