Relations is an application developed for an assignment of a Discrete Mathematics class. It determines the definition and classification of a relation between sets.

• C Language
• CLion IDE

The program will search for a file called set.txt, that have to be with the executable code, or in the folder before. The file structure should be one of these that follows:

project
│   executable.exe
│   set.txt    
│

or

project
│   set.txt
│
└───folder
    │   executable.exe
    │   

The file set.txt have to be written in a specific format so the program can function.
Each line of this file should contain a definition of a Set.

A = {1, 87, 4, -1, 43}

A single capitalized letter, followed by an equal sign, open brackets, n elements separated by a comma, close brackets.

Spaces are disconsidered.

When the program starts, it shows the Sets founded in the file set.txt.

------------------------------------------------
 SETS:
       A = {0, 1, 2, 3, 4}
       B = {2, 7, 3, 4}
       C = {9, 0, 10, 2, 3}

------------------------------------------------

With these, you can choose one of the following RELATIONS and executing them accordingly to the operator assigned to it:

After given an OPERATION STRING, the program returns:

• The Relation
• The ordered pairs of the relation
• Domain
• Image
• If Functional
• If Injective
• If Total
• If Surjective
• If Epimorphism
• If Monomorphism
• If Isomorphism

Given Sets A = {0, 1, 2, 3, 4} and B = {2, 7, 3, 4}, then:

------------------------------------------------
OPERATION STRING: A > B
------------------------------------------------
R: A -> B
<3,2>,<4,2>,<4,3>
Domain: {3, 4}
Image: {2, 3}
Functional: false
Injective: false
Total: false
Surjective: false
------------------------------------------------

For further information visit the Wiki.