Function decide_subset 

pub fn decide_subset<T: PartialEq>(
    a: &FiniteSet<T>,
    b: &FiniteSet<T>,
) -> Decision<()>

Decide whether a FiniteSet is a subset of another.