Получение подмножеств подписей в Alloy

#subset #modeling #alloy #requirements #подмножество #моделирование #сплав #требования Вопрос: Мне было интересно, есть ли способ извлечь подмножество набора в данной подписи в Alloy. Извлеченный набор затем будет использоваться при определении…