https://artikeldigital.com/en/Diagram_(mathematical_logic)