Параметр подмножества

У меня есть набор в качестве параметра:

Parameter Q:Set.

Теперь я хочу определить другой параметр, который является подмножеством Q. Что-то вроде:

Parameter F: subset Q.

Как я могу это определить? Думаю, я могу добавить это ограничение позже в качестве аксиомы, но мне кажется более естественным выразить его прямо в виде F.