For a $k$-ary relation, a $k$-dimensional numeric array with
values in the unit interval inherting from class
relation_incidence whose elements give the memberships of the
corresponding $k$-tuples are contained in the relation (for a
crisp relation, a binary (0/1) array with elements indicating whether
the corresponding tuples are contained in the relation or not).