description: is-mbr(ket, sp) returns |yes> if 'ket' is in 'sp', else |no> examples: is-mbr(|b>, |a> + |b> + |c>) |yes> is-mbr(|c>, 0.3|a> + 2|b> + 9.7|c> + 13|d>) |yes> is-mbr(|x>, 0.3|a> + 2|b> + 9.7|c> + 13|d>) |no> friends |Fred> => |Jack> + |Harry> + |Ed> + |Mary> + |Rob> + |Patrick> + |Emma> + |Charlie> is-mbr(|Ed>, friends |Fred>) |yes> is-mbr(|Frank>, friends |Fred>) |yes> is-mbr(|Jane>, friends |Fred>) |no> see also: mbr