from typing import Callable
from typing import Set
from typing import Type


def is_quorum(is_slice_contained: Callable[[Set[Type], Type], bool], nodes_subset: set):
    """
    Check whether nodes_subset is a quorum in FBAS F (implicitly is_slice_contained method).
    """
    return all([
        is_slice_contained(nodes_subset, v)
        for v in nodes_subset
    ])