Add function FA-SUBSET-P