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.