10182

Exploring Relations on Sets

A relation on a set is a subset of the Cartesian product . The graph of a relation is a directed graph with vertex set and edges determined by the ordered pairs in . This Demonstration lets you explore relations on the set for through . Three specific relations ("divides", "congruent mod 3", and "a + 2b is prime") are included. When using the custom option, a "ghost" of a complete graph on vertices (with loops) appears. Clicking the ghost edges/loops adds edges/loops to the graph and adds the corresponding ordered pairs to your relation. Clicking an edge a second time changes its direction; clicking a third time makes that edge bidirectional. You can view (the ordered pairs), the adjacency matrix, or the properties of the relation (reflexive, symmetric, antisymmetric, transitive).

PERMANENT CITATION

 Share: Embed Interactive Demonstration New! Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details » Download Demonstration as CDF » Download Author Code »(preview ») Files require Wolfram CDF Player or Mathematica.

Related Topics

 RELATED RESOURCES
 The #1 tool for creating Demonstrations and anything technical. Explore anything with the first computational knowledge engine. The web's most extensive mathematics resource. An app for every course—right in the palm of your hand. Read our views on math,science, and technology. The format that makes Demonstrations (and any information) easy to share and interact with. Programs & resources for educators, schools & students. Join the initiative for modernizing math education. Walk through homework problems one step at a time, with hints to help along the way. Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet. Knowledge-based programming for everyone.