Properties of Relations

This app allows you to define an arbitrary binary relation on a set of five items and shows you whether certain properties are fulfilled.