This project develops the elements of [[relation theory]] that are needed for a wide array of applications, including other projects on this site. | This project develops the elements of [[relation theory]] that are needed for a wide array of applications, including other projects on this site. |