# Poset _ ZZ -- returns an element of the ground set

## Synopsis

• Operator: _
• Usage:
a = P_i
• Inputs:
• P, an instance of the type Poset,
• i, an integer, index in the ground set
• Outputs:
• a, , the $i$-th vertex in the ground set

## Description

 i1 : P = booleanLattice 3; i2 : P_0 o2 = 000 i3 : P_3 o3 = 011