Represent with the language of First Order Predicate Logic thefollowing proposition:
"If S is an arbitrary set of objects for which there is anassociative binary operation * (function) with the following twoproperties: (1) for every pair of objects 'a' and 'b' from S thereexists and object 'c' such that a * b = c (left solution property),then there exists in S an object 'e' such that e * x = x for all xin S (S has a left identity).
