Set.isProperSubset<'T> Function (F#)

Article
2013-02-04

Evaluates to true if all elements of the first set are in the second, and at least one element of the second is not in the first.

Namespace/Module Path: Microsoft.FSharp.Collections.Set

Assembly: FSharp.Core (in FSharp.Core.dll)

// Signature:
Set.isProperSubset : Set<'T> -> Set<'T> -> bool (requires comparison)

// Usage:
Set.isProperSubset set1 set2

Parameters

set1
Type: Set<'T>

The potential subset.
set2
Type: Set<'T>

The set to test against.

Return Value

true if set1 is a proper subset of set2. Otherwise, returns false.

Remarks

This function is named IsProperSubset in compiled assemblies. If you are accessing the function from a language other than F#, or through reflection, use this name.

Example

The following code illustrates the use of the Set.isProperSubset function.

let set1 = Set.ofList [ 1 .. 6 ]
let set2 = Set.ofList [ 1 .. 5 ]
let set3 = Set.ofList [ 1 .. 6 ]
let set4 = Set.ofList [ 5 .. 10 ]
printfn "%A is a proper subset of %A: %b" set2 set1 (Set.isProperSubset set2 set1)
printfn "%A is a proper subset of %A: %b" set3 set1 (Set.isProperSubset set3 set1) 
printfn "%A is a proper subset of %A: %b" set4 set1 (Set.isProperSubset set4 set1)

Output

set [1; 2; 3; 4; 5] is a proper subset of set [1; 2; 3; 4; 5; 6]: true
set [1; 2; 3; 4; 5; 6] is a proper subset of set [1; 2; 3; 4; 5; 6]: false
set [5; 6; 7; 8; 9; 10] is a proper subset of set [1; 2; 3; 4; 5; 6]: false

Platforms

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2

Version Information

F# Runtime

Supported in: 2.0, 4.0

Silverlight

Supported in: 3

Share via