size

Takes an integer parameter, n.

When used with a function domain will limit the solutions to functions that contain n mappings. When used with a sequence domain will limit the solutions to sequences that have a length of n. When used with a relation domain will produce solutions with n tuples.

See it demonstrated on function domains here. See it demonstrated on sequence domains here. See it demonstrated on relation domains here.