EXPORT Inclusion.

IMPORT Lists.

PREDICATE IncludedIn : List(a) * List(a).