Kengin ngidih sentana prade wenten kecumpuin antuk kulawarga sinanggeh kepurusa utawi semeton purusa/tunggal sanggah.
Using the metatheorem, we obtain results on coding a family of sets into a family of relations, or into a single relation.