`bool Subset(Relation &r, Relation &r)`

Works for both relations and sets. The arguments must have the same arity. If and then the result is .`bool Weak_Subset(Relation &r, Relation &r)`

Works for both relations and sets. The arguments must have the same arity. If and then the result is B, where . This function will often return true in cases where is a subset of , however it is not guaranteed to. The situations in which weak_subset agrees with exact subset are deliberately not specified as they may change in future releases.

omega@cs.umd.edu