Description:
A mathematical expression presented in a grey rectangular box. The top line reads "x, y, z \in E". The second line reads "(xRy et yRz) \implies xRz". The text is in a stylized font.
Tags:
algebra, equation, expression, logic, mathematics