class Relation
    module Operation

      # A class representing an insertion into a relation
      class Insertion < Relation