I don't see any reason why it couldn't be in the documentation. The group_element_map view is used as a base view for the group_component_map, and group_member_map views, and they could also be used to get the answer you're looking for. Something like:
select count(*)
from group_component_map c,
group_member_map m
where c.group_id = m.group_id
and c.component_id = :group_b_id
and m.member_id = :user_x_id;