[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

subset relationship in types




Hi,

Is there any way to specify a type of finite_sets as a subset of another
type of finite_sets, or I have to come up with my own definitions?

Thanks,
Borzoo