Properties of reflexive, symmetric, transitive
adding, multiplying does not affect
Similar story
some kind of visualization of flipping and adding, multiplying
Maybe using different kinds of representations to make it interesting?