How do you represent this statement in first order number logic?

18 Views Asked by At

I'm a little confused as to where to begin in translating this to first order number logic:

$y = \lfloor\sqrt[3]{x}\rfloor$ where $U = \Bbb{Z}$

Not really looking for an answer, just some help with getting started.