maxSize

Takes an integer parameter, n.

When used with a function domain will limit the solutions to functions that contains at most n mappings. When used with a sequence domain will limit solutions to sequences that have a length smaller than or equal to n. When used with a relation domain will produce solutions that have up to n tuples.

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